summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Jann Horn [Sun, 1 Sep 2024 23:54:36 +0000 (01:54 +0200)]
add ui for entering message id
Jann Horn [Sun, 1 Sep 2024 23:37:17 +0000 (01:37 +0200)]
turn it into a webserver thing
Jann Horn [Sun, 1 Sep 2024 21:55:32 +0000 (23:55 +0200)]
refactor html block printing
Jann Horn [Sun, 1 Sep 2024 21:41:20 +0000 (23:41 +0200)]
more comments and debug code
Jann Horn [Sun, 1 Sep 2024 21:40:43 +0000 (23:40 +0200)]
fix bogus matching of child text lines against parent blank lines
Jann Horn [Sun, 1 Sep 2024 20:57:13 +0000 (22:57 +0200)]
it sorta works!!!
projects / mehlbrei.git / log