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 02:48:27 +0400
commitd83397294bbea21484c31d5cf62b1cd78eae8506 (patch)
tree1f8dce180e3d311812237a36076fd39514110a01 /profiles
parent67ea808d0e0ece5dae3a683940389086ff9ed9b8 (diff)
Remove ValaBinding from the dist target
Diffstat (limited to 'profiles')
-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