diff options
author | fpi | 2021-01-31 15:09:56 +0100 |
---|---|---|
committer | fpi | 2021-01-31 15:11:26 +0100 |
commit | 053a3445ffbf21fab758bf44cc568db52d174d4d (patch) | |
tree | 65e4140698a23d9224a6005f12f75765293407cf /Makefile | |
parent | Make scoring section more generic (diff) |
Keep temporary score rules for longer
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions