Index of /data/main/g/gedit-plugins/3.30.1-3/plugins/terminal

• Parent Directory
• Makefile.am
• gedit-terminal.metainfo.xml.in
• org.gnome.gedit.plugins.terminal.gschema.xml
• terminal.plugin.desktop.in
• terminal.plugin.desktop.in.in
• terminal.py