From 08af514ba3fd9c1d4083c936b677ef74be0ad86b Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Thu, 17 Feb 2022 17:31:18 +0100 Subject: Greatly improves the compilation process. --- src/knowledge/Makefile | 1 - 1 file changed, 1 deletion(-) delete mode 120000 src/knowledge/Makefile (limited to 'src/knowledge/Makefile') diff --git a/src/knowledge/Makefile b/src/knowledge/Makefile deleted file mode 120000 index d0b0e8e..0000000 --- a/src/knowledge/Makefile +++ /dev/null @@ -1 +0,0 @@ -../Makefile \ No newline at end of file -- cgit v1.2.3-70-g09d2