diff options
| author | Tom Smeding <tom.smeding@gmail.com> | 2019-02-15 21:14:28 +0100 |
|---|---|---|
| committer | Tom Smeding <tom.smeding@gmail.com> | 2019-02-15 21:14:28 +0100 |
| commit | 5c3415af4a2881b3ca7cdb4ef5bbf240b4a8b93b (patch) | |
| tree | 503b4ae3890aa60a6018fd2f38c13b48d24cfaac /referee/.gitignore | |
| parent | e5ab9e6723e3f1dfbce6cf4188762421a86b2c87 (diff) | |
WIP referee for competition
Diffstat (limited to 'referee/.gitignore')
| -rw-r--r-- | referee/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/referee/.gitignore b/referee/.gitignore new file mode 100644 index 0000000..1c8d92c --- /dev/null +++ b/referee/.gitignore @@ -0,0 +1 @@ +referee |