Philippe PITTOLI cb8b0c93a1 Add a formatting script.		2024-06-08 23:23:05 +02:00
..
dnsmanager-admin	New tool, to give admin status to a user: dnsmanager-admin	2024-02-24 19:38:36 +01:00
format.awk	Add a formatting script.	2024-06-08 23:23:05 +02:00
get-messages.awk	Makefile: print messages.	2023-06-15 13:06:55 +02:00
should-update	token-handler + build only when necessary	2024-03-12 21:51:59 +01:00