diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2018-06-07 22:23:50 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-06-07 22:23:50 +0200 |
commit | 2db0c615dd71788f35db03854919a8cad384c4d0 (patch) | |
tree | dc11502b8486e8e9e2dbc80a7764d558a042eb84 /doc/tools/makemd.py | |
parent | 3d5aabe7fcaa46fe36afe3c418756710d6a97363 (diff) | |
parent | d54b5da9406ffaad12d63b5895e53f293e834c34 (diff) |
Merge pull request #19428 from Calinou/tweak-scons-help-texts
Tweak some help texts in the build system
Diffstat (limited to 'doc/tools/makemd.py')
0 files changed, 0 insertions, 0 deletions