diff options
author | Christian Grothoff <christian@grothoff.org> | 2024-02-24 20:34:00 +0100 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2024-02-24 20:34:00 +0100 |
commit | 4a22de6c1effb4b68933a820902a82f31c72f10e (patch) | |
tree | 07fe315f16453292ec693b8f06e8a16613732305 /doc/prebuilt | |
parent | 7ee043df1f2cb69c4c1a5c9efb83ea685e5d61a2 (diff) |
typo
Diffstat (limited to 'doc/prebuilt')
m--------- | doc/prebuilt | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/prebuilt b/doc/prebuilt -Subproject bd40be2fd4ce80106dc40a5ac4cc5c169513406 +Subproject 60ccf04bb3579c249a899c4ae88e120acda13c8 |