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-04-24 03:26:18 +0400
committerDuncan Mak <duncan.mak@xamarin.com>2012-04-24 03:26:18 +0400
commitf45668feba1586ce7a093e5b510482ef6f62dcbf (patch)
tree338124196ccf4efed6321d8d0bb51e82b4e54b28 /profiles
parent7bd6dfc6b4ee697a7274efb52ea66b0db86578f9 (diff)
Don't build JavaBinding and PyBinding in the dist profile
Diffstat (limited to 'profiles')
-rw-r--r--profiles/dist2
1 files changed, 0 insertions, 2 deletions
diff --git a/profiles/dist b/profiles/dist
index 94ac1e23e6..a99b607572 100644
--- a/profiles/dist
+++ b/profiles/dist
@@ -1,5 +1,3 @@
main
-extras/JavaBinding
extras/MonoDevelop.Database
extras/MonoDevelop.Debugger.Gdb
-extras/PyBinding