diff --git a/.gitmodules b/.gitmodules index 199a7186..43ff96da 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,6 +1,3 @@ -[submodule "external/img4tool"] - path = external/img4tool - url = https://github.com/tihmstar/img4tool.git [submodule "external/tsschecker"] path = external/tsschecker url = https://github.com/tihmstar/tsschecker.git diff --git a/external/img4tool b/external/img4tool deleted file mode 160000 index b46989ab..00000000 --- a/external/img4tool +++ /dev/null @@ -1 +0,0 @@ -Subproject commit b46989ab2a1adb2c29f0847b78366265344ece1e