diff options
| author | Christian Grothoff <grothoff@gnunet.org> | 2023-10-09 11:38:08 +0200 |
|---|---|---|
| committer | Christian Grothoff <grothoff@gnunet.org> | 2023-10-09 11:38:08 +0200 |
| commit | 9a91281cbb98d88e6a89379ff3e00074b8a34ba5 (patch) | |
| tree | b872fe229d5898ed6f8cb63e225f5e391d0689f7 | |
| parent | 3dca1b3737c7d87d50b5f0f90fe5074d4b1f9e49 (diff) | |
| download | sync-9a91281cbb98d88e6a89379ff3e00074b8a34ba5.tar.gz sync-9a91281cbb98d88e6a89379ff3e00074b8a34ba5.tar.bz2 sync-9a91281cbb98d88e6a89379ff3e00074b8a34ba5.zip | |
bump man page submodule
| m--------- | doc/prebuilt | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/prebuilt b/doc/prebuilt -Subproject 1ed97b23f19c80fa84b21a5eb0c686d5491e8ec +Subproject 09a33a50d9b3b400f8a515082c888918cbf4e1b |