diff --git a/.gitmodules b/.gitmodules index 53b5efdb..e69de29b 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +0,0 @@ -[submodule "tools/icdiff.git"] - path = tools/icdiff.git - url = https://github.com/jeffkaufman/icdiff.git diff --git a/tools/git-icdiff b/tools/git-icdiff deleted file mode 120000 index 489d6291..00000000 --- a/tools/git-icdiff +++ /dev/null @@ -1 +0,0 @@ -icdiff.git/git-icdiff \ No newline at end of file diff --git a/tools/icdiff b/tools/icdiff deleted file mode 120000 index d7a08b93..00000000 --- a/tools/icdiff +++ /dev/null @@ -1 +0,0 @@ -icdiff.git/icdiff \ No newline at end of file diff --git a/tools/icdiff.git b/tools/icdiff.git deleted file mode 160000 index eb5a269f..00000000 --- a/tools/icdiff.git +++ /dev/null @@ -1 +0,0 @@ -Subproject commit eb5a269f27370bddb16317e9eba6f0795705907b