diff --git a/.gitmodules b/.gitmodules index fd713230b..e69de29bb 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,4 +0,0 @@ -[submodule "kolben"] - path = kolben - url = https://github.com/nilllzz/kolben.git - branch = master diff --git a/kolben b/kolben deleted file mode 160000 index b2c266dc7..000000000 --- a/kolben +++ /dev/null @@ -1 +0,0 @@ -Subproject commit b2c266dc7311bdcd75885989f00165ad5f5c1dd3