log INSTALL.md @ 85:cf49ab595e2e default tip @

age author description
Wed, 01 Feb 2023 11:03:12 +0100 David Demelier make: switch to GNU make
Sat, 20 Aug 2022 12:11:44 +0200 David Demelier misc: add INSTALL.md