mehlbrei.git
6 weeks agofix bogus matching of child text lines against parent blank lines
Jann Horn [Sun, 1 Sep 2024 21:40:43 +0000 (23:40 +0200)]
fix bogus matching of child text lines against parent blank lines

6 weeks agoit sorta works!!!
Jann Horn [Sun, 1 Sep 2024 20:57:13 +0000 (22:57 +0200)]
it sorta works!!!