artiweb

Capture and display the build artifacts of the KeY development.

Name		Name	Last commit message	Last commit date
Latest commit History 1,096 Commits
.github/workflows		.github/workflows
css		css
js		js
meta		meta
pull-requests		pull-requests
templates		templates
.gitignore		.gitignore
README.md		README.md
download.py		download.py
generate.py		generate.py
render.py		render.py
requirements.txt		requirements.txt

Provide feedback