gnome/gedit
gnome/gedit
1
0
Fork 0
mirror of https://github.com/GNOME/gedit synced 2024-06-30 23:15:01 +00:00
Code Issues Projects Releases Wiki Activity
master
gedit/plugins/externaltools
History
Sébastien Wilmet 4e26f185e1 Meson: plugins: externaltools: some refactorings
2024-06-26 23:48:50 +02:00
..
data Meson: plugins: externaltools: some refactorings 2024-06-26 23:48:50 +02:00
scripts Meson: plugins: externaltools: some refactorings 2024-06-26 23:48:50 +02:00
tests Meson: plugins: externaltools: some refactorings 2024-06-26 23:48:50 +02:00
tools Meson: plugins: externaltools: some refactorings 2024-06-26 23:48:50 +02:00
externaltools.plugin.desktop.in Plugins infos: update URL to website 2023-12-05 16:00:03 +01:00
meson.build Meson: plugins: externaltools: some refactorings 2024-06-26 23:48:50 +02:00
org.gnome.gedit.plugins.externaltools.gschema.xml plugins' gschemas: simplify setting the gettext-domain 2019-12-05 11:19:23 +01:00