Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/mono.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMiguel de Icaza <miguel@gnome.org>2014-11-20 05:01:39 +0300
committerMiguel de Icaza <miguel@gnome.org>2014-11-20 05:01:39 +0300
commit716b78c5780d70379465a27c9eb5e30bc30e29c3 (patch)
tree81959b08455932be04ba673f3be5671082c326cb /.gitmodules
parent5644d157c82d9b0734b961d6f9a999f1d49fdc0e (diff)
Add referencesource submodule
Diffstat (limited to '.gitmodules')
-rw-r--r--.gitmodules3
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules
index 4dbffc0de07..f81b6c6dc71 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -25,3 +25,6 @@
[submodule "external/ikdasm"]
path = external/ikdasm
url = git://github.com/mono/ikdasm.git
+[submodule "external/referencesource"]
+ path = external/referencesource
+ url = git://github.com/mono/referencesource