Jörn-Michael Miehe 8ef9d4ad2e add a "/file" router (static serve from WebDAV)		2022-09-18 21:59:02 +00:00
..
devcontainer.json	devcontainer: zsh	2022-09-09 16:48:28 +00:00
Dockerfile	add a "/file" router (static serve from WebDAV)	2022-09-18 21:59:02 +00:00