diff options
author | Christian Grothoff <christian@grothoff.org> | 2024-09-17 16:24:54 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2024-09-17 16:24:54 +0200 |
commit | c11eb3c23fecc7a0587c1e2a2f2f05ffac049b64 (patch) | |
tree | d1282ec34a4f26cc98c3a7b6060175de40579ce4 /doc/prebuilt | |
parent | 06aaa864c094d7c4505f8d1ca930ba998004fe50 (diff) |
version bumping
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 ab2e09b5a3711ab04f1f77f79158cc006cab319 +Subproject b420ea339295885530ecadba0ed849d42415456 |