package info
(click to toggle)
Folder: gedit-plugin
 |
.. (parent) | |||
 |
- | rw-r--r-- | 425 | Makefile.am |
|
- | rw-r--r-- | 16,832 | Makefile.in |
|
- | rw-r--r-- | 9,281 | devhelp.desktop |
|
- | rw-r--r-- | 251 | devhelp.desktop.in |
|
- | rw-r--r-- | 9,281 | devhelp.plugin |
|
- | rw-r--r-- | 3,793 | devhelp.py |