Information for file /usr/share/help/zh_TW/gedit/gedit-plugins-external-tools.page
Name | /usr/share/help/zh_TW/gedit/gedit-plugins-external-tools.page |
---|---|
Digest (sha256) | 3863a3b8f716c91487cb7d75325801a25237a57219e4adb3a55995eb73a9b454 |
Size | 1.79 KB |
Modification time | Mon, 03 Dec 2018 03:44:03 UTC |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags |
documentation |
RPM | gedit-2:3.30.2-1.fc30.riscv64.rpm |