diff options
| author | Christian Grothoff <christian@grothoff.org> | 2022-12-19 14:49:49 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2022-12-19 14:49:49 +0100 |
| commit | 4513cde0df916550c5c6f40d272eb370778f18f3 (patch) | |
| tree | bff2edfab21dc510a8c51b08dea9042da401ba66 /AUTHORS | |
| parent | 373673352fbbddebdba3dc0b83da5dc0f2cbfd29 (diff) | |
-be more strict about 200 vs. 204
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions