Skip to content
GitLab
Explore
Sign in
This is an archived project. Repository and other project resources are read-only.
Archive
anjuta
Repository
anjuta
configure.ac
Find file
Blame
History
Permalink
terminal: bgo #699316 - Add option to disable terminal plugin
· 745cc61a
Arnel A. Borja
authored
Apr 28, 2013
and
Sebastien Granjoux
committed
May 19, 2013
Since Anjuta could work without the terminal plugin, add an option to disable it.
745cc61a