From 390662891c8cf7211fdf4413b6e85da39720f64f Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Fri, 26 Oct 2018 22:53:45 +0100 Subject: [PATCH] Removed WALA submodule. --- .gitmodules | 4 ---- externals/WALA | 1 - 2 files changed, 5 deletions(-) delete mode 100644 .gitmodules delete mode 160000 externals/WALA diff --git a/.gitmodules b/.gitmodules deleted file mode 100644 index c4c9283..0000000 --- a/.gitmodules +++ /dev/null @@ -1,4 +0,0 @@ -[submodule "externals/WALA"] - path = externals/WALA - url = https://git.logicalhacking.com/DASCA/WALA.git - branch = master diff --git a/externals/WALA b/externals/WALA deleted file mode 160000 index 108dea7..0000000 --- a/externals/WALA +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 108dea730b2f806638f47aaa175eb77c8244b255