diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-02-01 20:41:25 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-01 20:41:25 +0100 |
| commit | 74091a1974567d3525be02365734932034467d7b (patch) | |
| tree | 0149336db486e62e24c3e933a5da9599c1c48c42 /doc/tools/doc_status.py | |
| parent | c4a801cdbf2f16d18d1c1255f2e17e1a5c8a8475 (diff) | |
| parent | befbfecd4d3c65832c06c44c26d6f7c07e841c47 (diff) | |
Merge pull request #45579 from zaevi/add_scons_ext
add search extensions for Scons' path
Diffstat (limited to 'doc/tools/doc_status.py')
0 files changed, 0 insertions, 0 deletions