Daniel Siepmann dabd9a42d6 Improve nix shell for customer project		2022-06-08 17:05:17 +02:00
..
shell.nix	Improve nix shell for customer project	2022-06-08 17:05:17 +02:00