gedit-devhelp: GNOME API documentation browser

    2015-01-14 00:25           0 usr/lib/gedit/
    2015-01-14 00:25           0 usr/lib/gedit/plugins/
    2015-01-14 00:25        9419 usr/lib/gedit/plugins/devhelp.plugin
    2015-01-14 00:25        3548 usr/lib/gedit/plugins/devhelp.py
    2015-01-14 00:25           0 usr/lib/gedit/plugins/__pycache__/
    2015-01-14 00:25        4371 usr/lib/gedit/plugins/__pycache__/devhelp.cpython-32.pyc
    2015-01-14 00:25        4371 usr/lib/gedit/plugins/__pycache__/devhelp.cpython-32.pyo