Information for file /usr/lib/gedit/plugins/externaltools.plugin
| Name | /usr/lib/gedit/plugins/externaltools.plugin |
|---|---|
| Digest (sha256) | f4c4a6770e3b513c2fbbea978e9b141b01512ee90d650f459c9958a631fe0606 |
| Size | 10.44 KB |
| Modification time | Sun, 03 Jul 2022 11:13:38 CST |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | gedit-2:40.0-6.el9.i686.rpm |
