diff options
| author | Florian Dold <florian@dold.me> | 2023-03-15 15:45:32 +0100 |
|---|---|---|
| committer | Florian Dold <florian@dold.me> | 2023-03-15 15:45:32 +0100 |
| commit | f90fe3663b6d41f5024c60a69880b5a098c913c9 (patch) | |
| tree | 1b235febb4ba679a9818afa46e7307b5391a91a0 /doc | |
| parent | 70e6d50d6a592bdf5346f0e2098867e261cb7519 (diff) | |
update 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 4739f1447d0e8a6534c7fbdbc361d5d756d1875 +Subproject 8452f991dd967328207fab52a99beb19e2cb4df |