diff options
| author | Christian Grothoff <christian@grothoff.org> | 2021-08-08 21:00:55 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2021-08-08 22:01:13 +0200 |
| commit | a676ece8152413e1187928b39f8362fa18bb43a5 (patch) | |
| tree | d39a01384f92e4740905dc0f4f15752e5a5568f9 /doc | |
| parent | 090cc912739e976e5886f9482e8eea4b9b8e48a0 (diff) | |
-typo, of course
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions