Vladimír Čunát e978eb5986 gnumake42: bring this version back ... This is almost a revert of commit 0cfe9f3a (PR #86293). Version 4.3 https://lists.gnu.org/archive/html/info-gnu/2020-01/msg00004.html brought some incompatibilities, so this will be useful for shorter-term workarounds.		2020-07-06 10:55:32 +02:00
..
4.2	gnumake42: bring this version back	2020-07-06 10:55:32 +02:00
default.nix
impure-dirs.patch