diff options
author | Marius Ungureanu <teromario@yahoo.com> | 2018-01-03 01:15:57 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-01-03 01:15:57 +0300 |
commit | b6b82175e485e8eb8565dbdd8d4b0e15ad842ebe (patch) | |
tree | 5ea753f89ba76ad3ba0cd1cc121e321f85947778 /.gitmodules | |
parent | 49827e35cb6c51d2e1240fe8a3bc3dfa7fea5597 (diff) |
Switch re (#3543)
* Bump RE to monodevelop2 branch.
* new build
Diffstat (limited to '.gitmodules')
-rw-r--r-- | .gitmodules | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitmodules b/.gitmodules index 2ba7e432ad..783d7fe1ff 100644 --- a/.gitmodules +++ b/.gitmodules @@ -47,7 +47,7 @@ [submodule "main/external/RefactoringEssentials"] path = main/external/RefactoringEssentials url = git://github.com/mono/RefactoringEssentials.git - branch = master + branch = monodevelop2 [submodule "main/external/macdoc"] path = main/external/macdoc url = git://github.com/xamarin/macdoc |