Information for file /usr/lib64/gedit/plugins/externaltools/manager.py
| Name | /usr/lib64/gedit/plugins/externaltools/manager.py |
|---|---|
| Digest (sha256) | fe8b3cdc1ac18ed25768f31c12a7b1b0c68041f7b845a877d15f2c24d1406e9c |
| Size | 28.48 KB |
| Modification time | Fri, 06 Mar 2020 14:11:01 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | gedit-2:3.36.0-3.fc33.riscv64.rpm |
