diff options
| author | Christian Grothoff <christian@grothoff.org> | 2022-08-06 15:23:44 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2022-08-06 15:23:44 +0200 |
| commit | 36a6731a1a136e8c01be569d040f9bc29adfc13f (patch) | |
| tree | bf5b27bbde3dfd98929c9a8e016e481aab690a71 /doc | |
| parent | 2e74c04dadcf4add756e774bea9af789b828ff65 (diff) | |
-typo
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions