diff options
| author | nosami <jasonimison@gmail.com> | 2016-05-20 16:22:04 +0300 |
|---|---|---|
| committer | nosami <jasonimison@gmail.com> | 2016-05-20 16:22:04 +0300 |
| commit | 32fa0196d9ee2e24b6d6f34fef45f10838e4bca1 (patch) | |
| tree | baca9ebba6f50b3d4389446a64bc5893808792ba /.gitmodules | |
| parent | a75f6b5d211c9655fabae63ebd7d993119995f5f (diff) | |
Remove F# module
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/.gitmodules b/.gitmodules index a9c66dae4d..2a6a5bb201 100644 --- a/.gitmodules +++ b/.gitmodules @@ -25,10 +25,6 @@ [submodule "main/external/guiunit"] path = main/external/guiunit url = git://github.com/mono/guiunit.git -[submodule "main/external/fsharpbinding"] - path = main/external/fsharpbinding - url = git://github.com/fsharp/xamarin-monodevelop-fsharp-addin.git - branch = master [submodule "main/external/nuget-binary"] path = main/external/nuget-binary url = git://github.com/mono/nuget-binary.git |