diff options
author | therzok <marius.ungureanu@xamarin.com> | 2016-04-04 14:07:44 +0300 |
---|---|---|
committer | therzok <marius.ungureanu@xamarin.com> | 2016-04-04 14:09:07 +0300 |
commit | f4a82a4cb16b85b75a110fc538298466355a76d0 (patch) | |
tree | a8174d77f025468615ef25164bd879e39b1c6e33 /profiles | |
parent | cae9760c8944410cffebe07b69f9cdc28f25b595 (diff) |
Remove projects which are no longer in the main tree from the all
profile.
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/all | 4 |
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 |