Files

tools

and

tools: migrate tools/make_dist_html.py to python3

Dec 28, 2020

4ce3761 · Dec 28, 2020

Name		Name	Last commit message	Last commit date
parent directory ..
make_dist_html.py		make_dist_html.py
vswhere_usability_wrapper.cmd		vswhere_usability_wrapper.cmd