diff options
| author | Christian Grothoff <christian@grothoff.org> | 2021-08-31 22:56:14 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2021-08-31 22:56:14 +0200 |
| commit | 896bb8f074d6b6e091ee79de93b8bec118caa3ca (patch) | |
| tree | d6c508b31ca4276cf5afead8b5e85cddd9a07482 /doc | |
| parent | 6c6787b49a8d61fc8b8615333cbbdd9dc9cc9f96 (diff) | |
typo
Diffstat (limited to 'doc')
| m--------- | doc/prebuilt | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/prebuilt b/doc/prebuilt -Subproject e32c7da994a3787ad34d99b21d2cbc12d698816 +Subproject 74d9c44ebc257a3d8b9c2c0a806508bd0cc5269 |