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 f9614d4c38 Install which into devcontainer ... Needed for pre-commit hook		2022-02-28 12:08:05 +01:00
..
devcontainer.json	Update dependencies	2022-02-28 12:07:58 +01:00
Dockerfile	Install which into devcontainer	2022-02-28 12:08:05 +01:00