diff --git a/.gitmodules b/.gitmodules index a6d0dd9b293cc941368e3c96127b43758de47da3..067f871c879488ce273a9cf3a2d508aca7c4e47b 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,6 +1,3 @@ [submodule "packages/rbm"] path = packages/rbm url = https://github.com/boklm/rbm -[submodule "tools/prune-old-builds"] - path = tools/prune-old-builds - url = https://github.com/boklm/prune-old-builds diff --git a/tools/prune-old-builds b/tools/prune-old-builds deleted file mode 160000 index 8cb752270ef0c1d82a07196c5fc5024f042d7885..0000000000000000000000000000000000000000 --- a/tools/prune-old-builds +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 8cb752270ef0c1d82a07196c5fc5024f042d7885