7 Commits

Author	SHA1	Message	Date
tTh	e841207907	remove useless msg	2024-07-18 08:55:57 +02:00
tTh	806c9b0071	a few cleanup + new patterns	2023-09-22 14:15:52 +02:00
tTh	bce4464719	minor tuning	2022-08-23 12:10:16 +02:00
tth	64489f5707	commit du matin, pinpin	2022-07-11 06:14:45 +02:00
tth	95beee167d	garbage collecting again	2022-07-07 12:52:00 +02:00
tth	ea74b86f01	useless msg deleted	2022-06-30 15:50:35 +02:00
tth	cfe308968f	three more tools compiled	2022-06-27 08:53:59 +02:00