Information for file /usr/lib64/gedit/plugins/externaltools.plugin
| Name | /usr/lib64/gedit/plugins/externaltools.plugin |
|---|---|
| Digest (sha256) | 7de7532acc6b01f627311de0928575ff7d3531e76b78388f0152b89584643d69 |
| Size | 10.45 KB |
| Modification time | Sat, 28 Nov 2020 11:08:13 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | gedit-2:3.38.0-1.fc33.riscv64.rpm |
