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:
authorLluis Sanchez Gual <lluis@novell.com>2011-09-09 19:29:51 +0400
committerLluis Sanchez Gual <lluis@novell.com>2011-09-09 19:49:01 +0400
commit5e99412342cc5f6c3471d950f360d234303c3915 (patch)
tree15d53d363273578fb08deabf0180be26823586f3 /profiles
parentc76056ad2ff230a145e7fb6c288f8c4252f0cb56 (diff)
Add dist profile
Diffstat (limited to 'profiles')
-rw-r--r--profiles/dist6
1 files changed, 6 insertions, 0 deletions
diff --git a/profiles/dist b/profiles/dist
new file mode 100644
index 0000000000..37aa650ffe
--- /dev/null
+++ b/profiles/dist
@@ -0,0 +1,6 @@
+main
+extras/JavaBinding
+extras/ValaBinding
+extras/MonoDevelop.Database
+extras/MonoDevelop.Debugger.Gdb
+extras/PyBinding