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:
Diffstat (limited to 'profiles/all')
-rw-r--r--profiles/all1
1 files changed, 0 insertions, 1 deletions
diff --git a/profiles/all b/profiles/all
index 9f216ea84d..cf583a7f72 100644
--- a/profiles/all
+++ b/profiles/all
@@ -1,6 +1,5 @@
main
extras/JavaBinding
-extras/BooBinding
extras/ValaBinding
extras/MonoDevelop.Database
extras/MonoDevelop.Debugger.Gdb