Jörg Thalheim f8eff138d8 fix test profile		2022-02-01 22:08:15 +01:00
..
build-profile.nix	fix test profile	2022-02-01 22:08:15 +01:00
run.py	tests: hide evaluation command behind verbose flag	2020-05-18 11:38:36 +01:00