Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael Hutchinson <mhutchinson@novell.com>2007-12-12 23:10:50 +0300
committerMichael Hutchinson <mhutchinson@novell.com>2007-12-12 23:10:50 +0300
commit45c8cb9614006476b7c236df074e655940b3c6f0 (patch)
treeb6fe70c96f4671b49c5b46f0180a79fca235b9b9 /profiles
parent22b24d7c7d365457cf7a46bd4ccfea8a3066af08 (diff)
Add a profile that uses GtkSourceView2 and the addins compatible with it.
svn path=/trunk/monodevelop/; revision=91178
Diffstat (limited to 'profiles')
-rw-r--r--profiles/stable-gtksv22
1 files changed, 2 insertions, 0 deletions
diff --git a/profiles/stable-gtksv2 b/profiles/stable-gtksv2
new file mode 100644
index 0000000000..c2be89fef3
--- /dev/null
+++ b/profiles/stable-gtksv2
@@ -0,0 +1,2 @@
+main --enable-gtksourceview2
+extras/JavaBinding