diff options
| author | tomsmeding <tom.smeding@gmail.com> | 2019-02-17 13:53:13 +0100 |
|---|---|---|
| committer | tomsmeding <tom.smeding@gmail.com> | 2019-02-17 13:53:13 +0100 |
| commit | 7c0fb5e9fa8c42220ad14a90c251f5b092ad52b6 (patch) | |
| tree | 52c1a882f39a28782372568540cb695c4bcf67a2 /referee/Makefile | |
| parent | eaf35926bcf0a91524ac717cb43b01b345fcf8bd (diff) | |
Improve mm{,2} performance: raise win/lose scores
Diffstat (limited to 'referee/Makefile')
0 files changed, 0 insertions, 0 deletions