summaryrefslogtreecommitdiff |
diff options
author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2018-09-06 21:01:36 +0200 |
---|---|---|
committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2018-09-06 21:01:36 +0200 |
commit | d34375f7338a1397e8480e875baf5862138ed528 (patch) | |
tree | dcb5229a6b6f506b843b8fbdc1b19108a60227a7 /src/shared | |
parent | 9e684761e12ad31d8c5996e7f960fd99b1f8f23e (diff) |
Fixes miss in Makefile, adds a sanity check.
Diffstat (limited to 'src/shared')
0 files changed, 0 insertions, 0 deletions