diff options
| author | Christian Grothoff <christian@grothoff.org> | 2022-12-19 14:08:26 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2022-12-19 14:08:26 +0100 |
| commit | d3a9160e0fad8d75dc61ecde6b7a22ff9c054446 (patch) | |
| tree | 72abdc79e8583024ff3a4fd1a739eead2d630a47 /AUTHORS | |
| parent | e58ed916d6ed8ef0beda0b2539faf2574800084c (diff) | |
-fix error message
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions