Vladimír Čunát 9d3228f99d gnumake42: bugfix 4.2 -> 4.2.1		2016-07-09 16:50:12 +02:00
..
default.nix	gnumake42: bugfix 4.2 -> 4.2.1	2016-07-09 16:50:12 +02:00
impure-dirs.patch	…