diff --git a/.gitmodules b/.gitmodules index b12748d..e69de29 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +0,0 @@ -[submodule "external/frozen"] - path = external/frozen - url = https://github.com/serge-sans-paille/frozen.git diff --git a/external/frozen b/external/frozen deleted file mode 160000 index f75fffc..0000000 --- a/external/frozen +++ /dev/null @@ -1 +0,0 @@ -Subproject commit f75fffcc077e5cda0bf3c87121dca103855d2be5