| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2022-02-17 17:31:18 +0100 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2022-02-17 17:31:18 +0100 |
| commit | 08af514ba3fd9c1d4083c936b677ef74be0ad86b (patch) | |
| tree | b25b48158bf452a00d51f2a187ea193d02df69a0 /src/knowledge/Makefile | |
| parent | 2046bffda9c9ebc451155b7d64f1c855b048ca4f (diff) | |
Greatly improves the compilation process.
Diffstat (limited to 'src/knowledge/Makefile')
| l--------- | src/knowledge/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
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 |