Robert Hensing fbafeb7ad5 treewide: runCommandNoCC -> runCommand ... This has been synonymous for ~5y.		2021-08-15 17:36:41 +02:00
..
default.nix	treewide: runCommandNoCC -> runCommand	2021-08-15 17:36:41 +02:00
lib.nix	agdaPackages.mkDerivation: don't install Everything module	2021-01-24 17:30:01 +01:00