GitHub - docToolchain/doctoolchain.github.io: just for a redirect to the right docs page. Maybe we can turn this into a landing page later on

Name		Name	Last commit message	Last commit date
Latest commit History 203 Commits
.github/workflows		.github/workflows
.idea		.idea
.gitignore		.gitignore
CNAME		CNAME
ConvertTo-BatchFile.ps1		ConvertTo-BatchFile.ps1
dtcw		dtcw
dtcw-beta		dtcw-beta
dtcw.bat		dtcw.bat
dtcw.ps1		dtcw.ps1
dtcw4		dtcw4
index.html		index.html
robots.txt		robots.txt
tutorial.html		tutorial.html