diff options
| author | Florian Dold <florian@dold.me> | 2023-12-13 21:25:23 +0100 |
|---|---|---|
| committer | Florian Dold <florian@dold.me> | 2023-12-13 21:25:23 +0100 |
| commit | 349cb24876d6be14ef3c19f90761cf4af28820e8 (patch) | |
| tree | c8abe5e67c177b17e11117e1dc5cea3f6aa6c412 /doc | |
| parent | 3dddc86eb6bff495dca9ee6999f85123f14e3f2d (diff) | |
bump submodules
Diffstat (limited to 'doc')
| m--------- | doc/prebuilt | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/prebuilt b/doc/prebuilt -Subproject 09a33a50d9b3b400f8a515082c888918cbf4e1b +Subproject 5e47a72e8a2b5086dfdae4078f695155f5ed7af |