log gnu/make/patch-default.patch @ 1341:9f35c15329d1 default tip @

age author description
Fri, 29 Oct 2021 15:01:07 +0200 David Demelier gnu/make: upgrade to 4.3
Fri, 20 Sep 2019 20:33:00 +0200 David Demelier gnu/make: use CC/CXX from build as default