diff options
author | Christian Grothoff <christian@grothoff.org> | 2024-02-10 23:10:44 +0100 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2024-02-10 23:10:44 +0100 |
commit | ed1a27bfa995deca6d36f67daaea6de2b136adff (patch) | |
tree | 3ed977ea8137dad354088907fe0108a179a30bf6 | |
parent | f2c3f7e3888d48fd159d620d6b6b7b9f3baa7478 (diff) | |
download | sync-ed1a27bfa995deca6d36f67daaea6de2b136adff.tar.gz sync-ed1a27bfa995deca6d36f67daaea6de2b136adff.tar.bz2 sync-ed1a27bfa995deca6d36f67daaea6de2b136adff.zip |
bump
m--------- | doc/prebuilt | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/prebuilt b/doc/prebuilt -Subproject ff81b14cfa6a753e6b9015a7057519c2b444c9b +Subproject 60ccf04bb3579c249a899c4ae88e120acda13c8 |