diff options
| author | Christian Grothoff <christian@grothoff.org> | 2022-06-20 23:05:11 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2022-06-20 23:05:11 +0200 |
| commit | e46b2744fede66a7641a89cde9caaf2e1a018053 (patch) | |
| tree | 7ba8ac4df17989330477c3c7b2e2c1538209a308 | |
| parent | 0d1b6b66efec6f13909e2902e4ec23a366ffeb1c (diff) | |
| download | sync-e46b2744fede66a7641a89cde9caaf2e1a018053.tar.gz sync-e46b2744fede66a7641a89cde9caaf2e1a018053.tar.bz2 sync-e46b2744fede66a7641a89cde9caaf2e1a018053.zip | |
-update submodule
| m--------- | doc/prebuilt | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/prebuilt b/doc/prebuilt -Subproject 14794a1a243236f76c45323bc5b178c4579e39c +Subproject 1ed97b23f19c80fa84b21a5eb0c686d5491e8ec |