Files
| -rw-r--r-- | 9419 | root | root | /usr/lib/gedit/plugins/devhelp.plugin |
| -rw-r--r-- | 3548 | root | root | /usr/lib/gedit/plugins/devhelp.py |
| -rw-r--r-- | 3770 | root | root | /usr/lib/gedit/plugins/devhelp.pyc |
| -rw-r--r-- | 3770 | root | root | /usr/lib/gedit/plugins/devhelp.pyo |
