Index of /data/main/g/gedit-plugins/3.4.0-1/plugins/terminal

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