About gedit-plugins =================== Collection of plugins for the gedit Text Editor
News ==== * Embedded terminal plugin: fix crash caused by removed gnome-terminal GSettings key. Download ======== https://download.gnome.org/sources/gedit-plugins/3.36/gedit-plugins-3.36.1.tar.xz (958K) sha256sum: 036f074b99ae13501222b6c34003ed09abb2430c894a59ca1a41c8e91c4fae65 _______________________________________________ ftp-release-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/ftp-release-list
