6 Commits

Include renames

Author	SHA1	Message	Date
fatalerrors	8221ac5325	release 4.2.0	2026-10-13 16:35:14 +02:00
fatalerrors	ba1e07744e	many bugfix, fixed getopt split	2026-10-13 16:01:13 +02:00
fatalerrors	afe1a1b610	prompt bug fix	2026-10-13 14:35:00 +02:00
fatalerrors	28e1e26b0e	reworked known_bugs.	2026-05-28 16:33:05 +02:00
fatalerrors	1a48280b14	minor fix	2026-05-20 15:54:23 +02:00
fatalerrors	ceb3386c57	added known-bugs.ml	2026-05-20 14:30:07 +02:00