5 Commits

Author	SHA1	Message	Date
tTh	65f396bedd	small tweaking	2024-08-15 11:20:58 +02:00
tth	95beee167d	garbage collecting again	2022-07-07 12:52:00 +02:00
tth	d03e8269ef	kill some spurious messages	2022-07-02 10:04:12 +02:00
tth	60409a050c	more and more tools	2022-06-28 15:14:08 +02:00
tth	2c8798e96e	2.5 tools added...	2022-06-28 10:46:14 +02:00