Frederik Rietdijk 3502d57d7a ksh: use python3		2021-04-03 17:06:21 +02:00
..
default.nix	ksh: use python3	2021-04-03 17:06:21 +02:00