scripts

Aug 21, 2022

429f4b9 · Aug 21, 2022

Name	Name	Last commit message	Last commit date
parent directory ..
generate-toc.py	generate-toc.py	Add script to generate table of contents	Aug 21, 2022
remove-forks.py	remove-forks.py	Add script to change forks to their original repository	Aug 21, 2022

Provide feedback