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:
authorMikayla Hutchinson <m.j.hutchinson@gmail.com>2016-10-26 20:35:04 +0300
committerMikayla Hutchinson <m.j.hutchinson@gmail.com>2016-10-26 20:36:56 +0300
commitcc95a3667125e1aa62c08625c4aad0be1844ad67 (patch)
treee62a600a5e818b32a2c7bf9a82626c7366c6d08d /.gitmodules
parentc9884ff6b19436bb0106ed7f00d1759e3a427468 (diff)
Rename add-ins to extensions in UI
Diffstat (limited to '.gitmodules')
-rw-r--r--.gitmodules2
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitmodules b/.gitmodules
index 2838618130..285b48d4da 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -13,7 +13,7 @@
url = git://github.com/icsharpcode/NRefactory.git
[submodule "main/external/mono-addins"]
path = main/external/mono-addins
- url = git://github.com/mono/mono-addins.git
+ url = git@github.com:xamarin/mono-addins.git
branch = master
[submodule "main/external/ikvm"]
path = main/external/ikvm