summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authortomsmeding <tom.smeding@gmail.com>2019-08-08 22:06:03 +0200
committertomsmeding <tom.smeding@gmail.com>2019-08-08 22:06:03 +0200
commitc01700906812f949c9088709b6c34307fbf63338 (patch)
tree73f97ed62a11aebb5e566ae6bf694a6c2442d4e8 /.gitignore
parent56dfacebe34bac5ab53108e34b7872fee78ddf65 (diff)
BREAKING New referee protocol
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions