diff --git a/.gitmodules b/.gitmodules index 7770290..cb82206 100644 --- a/.gitmodules +++ b/.gitmodules @@ -3,4 +3,4 @@ url = https://github.com/stleary/JSON-java [submodule "third_party/SharpGen"] path = third_party/SharpGen - url = https://github.com/cobbr/SharpGen + url = https://github.com/cobbr/SharpGen.git diff --git a/third_party/SharpGen b/third_party/SharpGen deleted file mode 120000 index 8d9358b..0000000 --- a/third_party/SharpGen +++ /dev/null @@ -1 +0,0 @@ -/share/tools/development/SharpGen \ No newline at end of file diff --git a/third_party/SharpGen b/third_party/SharpGen new file mode 160000 index 0000000..31c28bf --- /dev/null +++ b/third_party/SharpGen @@ -0,0 +1 @@ +Subproject commit 31c28bf4fee9c076b538b18ceee8e896c7f7dce5