diff --git a/.gitmodules b/.gitmodules index 37e028c..e69de29 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +0,0 @@ -[submodule "flex"] - path = flex - url = https://github.com/alexandrevicenzi/Flex.git diff --git a/flex b/flex deleted file mode 160000 index 7e99f9b..0000000 --- a/flex +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 7e99f9bbe681a5b7edef9748bc6f6ae10f4862a7