diff --git a/.gitmodules b/.gitmodules index 87c971dbaa185070bcce18f4503bfe79e3a4c2ba..03fddd0dbeda90a21c6d38c2ac9db701c837f222 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,3 @@ -[submodule "Tests/quickcheck"] - path = Tests/quickcheck +[submodule "ThirdParty/quickcheck"] + path = ThirdParty/quickcheck url = http://software.legiasoft.com/git/quickcheck.git diff --git a/Tests/quickcheck b/ThirdParty/quickcheck similarity index 100% rename from Tests/quickcheck rename to ThirdParty/quickcheck