Philippe Pittoli c462bbafa1 Makefile: compile the applications only when a file changed.		2024-03-13 14:40:10 +01:00
..
get-messages.awk	make print-messages	2023-06-12 20:54:41 +02:00
should-update	Makefile: compile the applications only when a file changed.	2024-03-13 14:40:10 +01:00