aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorNat Lasseter <nat.lasseter@york.ac.uk>2020-11-04 12:03:57 +0000
committerNat Lasseter <nat.lasseter@york.ac.uk>2020-11-04 12:03:57 +0000
commitcb042ce58e27f0d1e9e369b5030146e2f657c920 (patch)
treed6a5ee62801ca61f07c7dab9e25fe01082a0c147 /.gitignore
parent0dc913384d118855a3ea24aed9c7294e6f2cf745 (diff)
Drop the help flag from Config.for_raider, it's irrelevant and just clutter for raider devs
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions