diff options
| author | Christian Grothoff <grothoff@gnunet.org> | 2023-10-06 15:54:22 +0200 |
|---|---|---|
| committer | Christian Grothoff <grothoff@gnunet.org> | 2023-10-06 15:54:22 +0200 |
| commit | a2313bd41e8f695ea56568ca279aa70f1018822e (patch) | |
| tree | cd7286c963059795574884ca97aaacc8577588d3 /doc | |
| parent | c55c6030a0249f4602a4dc50a727a7bec103c734 (diff) | |
-fix 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 748bf62c7d3342343092f05bb9c02a114517886 +Subproject 1576678c0f195e07c1e1d84a9952ccd17106c0e |