diff options
author | Christian Grothoff <christian@grothoff.org> | 2021-11-16 16:56:30 +0100 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2021-11-16 16:56:30 +0100 |
commit | 91628260f657fa41dcd5ea8e70b5e6785852f15c (patch) | |
tree | 84ca0af02121bfd65105c2c0ae9bc5931525121f /README.1st | |
parent | 591cefd3159a2982703a81b637fd7887ecef9a7a (diff) |
fix warning
Diffstat (limited to 'README.1st')
0 files changed, 0 insertions, 0 deletions