diff options
| author | fpi | 2021-01-31 15:09:56 +0100 |
|---|---|---|
| committer | fpi | 2022-03-17 14:37:57 +0100 |
| commit | 1ff5fcde58d3fee13476307f775f6a4cd9ead7af (patch) | |
| tree | a95a74f036a1aec6ed491d100f6a63d427f03377 /.gitignore | |
| parent | Make scoring section more generic (diff) | |
Keep temporary score rules for longer
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions