aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorSemperVinco <w.deweijer@hotmail.com>2017-03-01 22:24:57 +0100
committerSemperVinco <w.deweijer@hotmail.com>2017-03-01 22:24:57 +0100
commit0bf7fd38aea996a381717fe4be09817259575531 (patch)
tree65c76252bb4b42402ca7ff0eb103573b542b0347 /.gitignore
parent2148f4e5d4effa5d1613a074f91da2c34ac6e5ed (diff)
Add position argument option -p which places bots in specific locations, syntax: ./sim -p b1.rob 1 2 b2.rob -2 4
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions