mirror of
https://github.com/GNOME/gedit
synced 2024-07-05 01:49:06 +00:00
.. | ||
resources | ||
gedit-time-plugin.c | ||
gedit-time-plugin.h | ||
meson.build | ||
org.gnome.gedit.plugins.time.gschema.xml | ||
time.plugin.desktop.in |
.. | ||
resources | ||
gedit-time-plugin.c | ||
gedit-time-plugin.h | ||
meson.build | ||
org.gnome.gedit.plugins.time.gschema.xml | ||
time.plugin.desktop.in |