diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2023-02-15 09:44:40 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-15 09:44:40 +0100 |
| commit | 601849b95afc3d173ea34ff5dba6353f9b71b495 (patch) | |
| tree | c33d689f38b513774fdc55a0110865e4518f6351 /doc/manual/theme | |
| parent | 707ba52f2d1855f2613da3a576488f5040843915 (diff) | |
| parent | 35049389cdc50d4e3a460d40808a72a8c50207e7 (diff) | |
Merge pull request #7835 from edolstra/fix-static-build
Fix static build
Diffstat (limited to 'doc/manual/theme')
0 files changed, 0 insertions, 0 deletions