Pavol Rusnak a6ce00c50c treewide: remove stdenv where not needed		2021-01-25 18:31:47 +01:00
..
default.nix	…
no-git-usage.patch	…