This repository has been archived on 2022-08-23. You can view files and clone it, but cannot push or open issues or pull requests.

Tobias Berger 4dd84523d8 Install which into devcontainer ... Needed for pre-commit hook		2022-01-28 11:05:22 +00:00
..
devcontainer.json	Update dependencies	2022-01-27 10:25:14 +00:00
Dockerfile	Install which into devcontainer	2022-01-28 11:05:22 +00:00