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:31:08 +0400
commit20b2cbf4ef7fe20aea23271e3b9af8d4a9a822e9 (patch)
treec7a6f7c69d11d53be63f043cbad373adaa38c805
parent585061d4d0de6fa2eb65bc37a6509c7e87a13f93 (diff)
Add dist profilemonodevelop-2.7.20
-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