Home
last modified time | relevance | path

Searched +path:plugins +path:terminal +path:terminal +path:. +path:plugin (Results 1 – 6 of 6) sorted by relevance

/dports/devel/gnome-builder/gnome-builder-41.3/src/plugins/terminal/
H A Dterminal.plugin
/dports/editors/elementary-code/code-6.0.0/plugins/terminal/
H A Dterminal.plugin
/dports/editors/gedit-plugins/gedit-plugins-40.1/plugins/terminal/
H A Dterminal.plugin.desktop.in.in
/dports/editors/pluma-plugins/pluma-plugins-1.26.0/plugins/terminal/
H A Dterminal.plugin.desktop.in.in
/dports/devel/anjuta/anjuta-3.34.0/plugins/terminal/
H A Danjuta-terminal.plugin
H A Danjuta-terminal.plugin.in