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:
authortherzok <marius.ungureanu@xamarin.com>2016-04-04 14:07:44 +0300
committertherzok <marius.ungureanu@xamarin.com>2016-04-04 14:09:07 +0300
commitf4a82a4cb16b85b75a110fc538298466355a76d0 (patch)
treea8174d77f025468615ef25164bd879e39b1c6e33 /profiles
parentcae9760c8944410cffebe07b69f9cdc28f25b595 (diff)
Remove projects which are no longer in the main tree from the all
profile.
Diffstat (limited to 'profiles')
-rw-r--r--profiles/all4
1 files changed, 0 insertions, 4 deletions
diff --git a/profiles/all b/profiles/all
index 874b309745..403cde001c 100644
--- a/profiles/all
+++ b/profiles/all
@@ -1,6 +1,2 @@
main
-extras/JavaBinding
-extras/ValaBinding
extras/MonoDevelop.Database
-extras/PyBinding
-extras/MonoDevelop.MeeGo