diff options
author | Jeremie Laval <jeremie.laval@gmail.com> | 2012-04-26 19:25:24 +0400 |
---|---|---|
committer | Jeremie Laval <jeremie.laval@gmail.com> | 2012-04-26 19:26:09 +0400 |
commit | 8fd8b561fa6140daeaac3fbae1e4bb470ae19f6c (patch) | |
tree | eb1226596e57644d15edc58b8ba78e5801537d2f /.gitmodules | |
parent | e4955dac29376a2468e19678039c59bbb3410418 (diff) |
[external] Register mono-tools as a submodule for building windoc
Diffstat (limited to '.gitmodules')
-rw-r--r-- | .gitmodules | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index c17dd44756..2d7b9fcc56 100644 --- a/.gitmodules +++ b/.gitmodules @@ -7,3 +7,6 @@ [submodule "external/ngit"] path = external/ngit url = git://github.com/mono/ngit.git +[submodule "external/mono-tools"] + path = external/mono-tools + url = git://github.com/mono/mono-tools.git |