diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2023-03-08 17:40:12 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-08 17:40:12 +0100 |
| commit | e8415dc439704ee71b0a03b60bc5110bd3426314 (patch) | |
| tree | 96efe02ee187f941825dd9ab0e390d1d3242d097 /doc/manual/theme/highlight.js | |
| parent | 0159dfad3f48105ecc971d93a562aec36d15ad4a (diff) | |
| parent | 693b1be81f0aa4537e2aa617be94f5ab73272edc (diff) | |
Merge pull request #8005 from edolstra/run-installcheck
Run 'make installcheck' again
Diffstat (limited to 'doc/manual/theme/highlight.js')
0 files changed, 0 insertions, 0 deletions