diff options
| author | Paul Buetow <paul@buetow.org> | 2023-11-04 15:22:23 +0200 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2023-11-04 15:22:23 +0200 |
| commit | 09ecd479863cf5db5b91776b64324660e23eeb97 (patch) | |
| tree | 69a5f05c3f6861ecaf98c7945391963e35e58757 /gorum.json | |
| parent | 4dbf8b4854db75b549f0417ce9654ee286c1adb6 (diff) | |
remove redundant is_winner WinnerFile
Diffstat (limited to 'gorum.json')
0 files changed, 0 insertions, 0 deletions