summaryrefslogtreecommitdiff
path: root/run.sh
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-09-01 23:44:36 +0200
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-09-01 23:44:36 +0200
commit19b28fafe0ee8c0f3123e8698f1fe30ada653b36 (patch)
tree3042f09ade5ba0e96063b1d163cb9e2e1697e83a /run.sh
parentb62d97800bfd2d6aafd75b5afc72c180d5241784 (diff)
Forces checking of subcomponents.
Diffstat (limited to 'run.sh')
0 files changed, 0 insertions, 0 deletions