diff options
author | Christian Grothoff <christian@grothoff.org> | 2024-04-12 10:37:55 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2024-04-12 10:37:55 +0200 |
commit | 73925c85ef6aa59b1c4973acafdf9f408f3e0181 (patch) | |
tree | 36c2df154abee795009f65391ff01c1b9dfc00e6 /doc | |
parent | 078e610162f914ce7cf2f0a47ffc9b44062fcebb (diff) |
bump various release versions
Diffstat (limited to 'doc')
m--------- | doc/prebuilt | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/prebuilt b/doc/prebuilt -Subproject af8c69dfe397ff4bed7abca98ed8f3b2ed70541 +Subproject b8d2d2fa2ed2a771880f451725176f256583cb2 |