Commit 5a3e63f6f57b077d8d50a86411a7d205b85877f8

Thomas de Grivel 2025-08-28T15:58:22

fix Makefile .PHONY