Files
| -rw-r--r-- | 3649 | root | root | /usr/lib/gedit/plugins/devhelp.plugin |
| -rw-r--r-- | 3478 | 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 |
