vala-gedit: Text editor for the GNOME Desktop

    2017-09-05 05:08          47 usr/share/vala/vapi/gedit.deps
    2017-09-05 05:08       19198 usr/share/vala/vapi/gedit.vapi