From: Paul Hänsch Date: Sun, 2 Jul 2023 18:29:00 +0000 (+0200) Subject: block level prefix to avoid repeating headline IDs X-Git-Url: https://git.plutz.net/?a=commitdiff_plain;ds=sidebyside;h=33570b0d2e2697cc7196a7a0ddc34cc2b4edd71b;hp=33570b0d2e2697cc7196a7a0ddc34cc2b4edd71b;p=cgilite block level prefix to avoid repeating headline IDs ---