mirror of
https://github.com/GNOME/gedit
synced 2024-07-05 01:09:38 +00:00
.. | ||
data | ||
scripts | ||
tests | ||
tools | ||
externaltools.plugin.desktop.in | ||
meson.build | ||
org.gnome.gedit.plugins.externaltools.gschema.xml |
.. | ||
data | ||
scripts | ||
tests | ||
tools | ||
externaltools.plugin.desktop.in | ||
meson.build | ||
org.gnome.gedit.plugins.externaltools.gschema.xml |