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:
authorDuncan Mak <duncan.mak@xamarin.com>2012-03-22 01:24:19 +0400
committerDuncan Mak <duncan.mak@xamarin.com>2012-03-22 01:24:19 +0400
commitfe156cc2053a42098b8f6293758762f1737886e3 (patch)
tree01988afe3d847bc9038c5578049997f8629da914
parent9e18438df6ea16c04ad7233027878abab56d9ff4 (diff)
Remove ValaBinding from the dist targetmonodevelop-2.8.8.2
-rw-r--r--profiles/dist1
1 files changed, 0 insertions, 1 deletions
diff --git a/profiles/dist b/profiles/dist
index 37aa650ffe..94ac1e23e6 100644
--- a/profiles/dist
+++ b/profiles/dist
@@ -1,6 +1,5 @@
main
extras/JavaBinding
-extras/ValaBinding
extras/MonoDevelop.Database
extras/MonoDevelop.Debugger.Gdb
extras/PyBinding