Author | SHA1 Message | Date |
---|---|---|
|
be0e590810 change Python shebang to python3 (#75) | 5 years ago |
|
8b4d7bc827 doc: fix inconsistent tabs and spaces in python scripts for manuals generation | 8 years ago |
|
2380c3d3b3 Convert tools/build_html_index.sh to Python, split into multiple scripts | 15 years ago |