3 Commits

Include renames

Author	SHA1	Message	Date
mathias2784	81b12b8b79	folding settings	2026-04-15 22:27:52 +02:00
Mathias Schneider	392f1b7861	fixed folding -- again	2026-04-15 18:28:02 +02:00
Mathias Schneider	ef9b2fd0f0	refactor one 'term' to rule them all	2026-03-26 14:29:16 +01:00