log makefile @ 25:608d78441570

age author description
Sun, 17 Oct 2021 16:52:28 +0200 Daniele Nicolodi Makefile tweaks