Benjamin Bädorf a0ab7cbe82 Initial commit ... Adds an initial page for education material, as this needs to be online quickly		2021-09-22 22:22:04 +02:00
unterricht	Initial commit	2021-09-22 22:22:04 +02:00
.envrc	Initial commit	2021-09-22 22:22:04 +02:00
.gitignore	Initial commit	2021-09-22 22:22:04 +02:00
shell.nix	Initial commit	2021-09-22 22:22:04 +02:00