Some quality-of-life enhancements to toc.py CLI script#329

edoardob90 wants to merge 13 commits into

mainempa-scientific-it/python-tutorial:mainfrom

feature/document-toc-pyempa-scientific-it/python-tutorial:feature/document-toc-pyCopy head branch name to clipboard