log Makefile @ 792:0b83218218e2 default tip

age author description
Sun, 17 May 2026 13:40:12 +0200 Franz Glasner Add a Makefile with some build helpers.