diff options
| author | Elena ``of Valhalla'' Grandi <valhalla@trueelena.org> | 2022-03-11 18:05:00 +0100 |
|---|---|---|
| committer | Elena ``of Valhalla'' Grandi <valhalla@trueelena.org> | 2022-03-11 18:12:28 +0100 |
| commit | dca789e8eb805df4dcf3309599aa136427de5c15 (patch) | |
| tree | 1999055245f32ada0bdb4bd74a0988acab55fa01 /docs/make.bat | |
| parent | a866b8ab9d81ebbea0bd43672d944d5cef1caf25 (diff) | |
Improvements to the check script
Diffstat (limited to 'docs/make.bat')
0 files changed, 0 insertions, 0 deletions