diff options
| author | fpi | 2021-01-27 11:00:07 +0100 |
|---|---|---|
| committer | fpi | 2022-03-17 14:37:57 +0100 |
| commit | f8da89ee31f287410ee1503702af8f9256d27046 (patch) | |
| tree | d744dd6971dac4bb73fd637d5e47f34e7f2a22a3 /.gitignore | |
| parent | Reduce garbage collection threshold (diff) | |
Make scoring section more generic
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions