diff dot_hgrc @ 866:1e11c38b195c

feat: mark jump-labels as bold text
author Zeger Van de Vannet <zeger@vandevan.net>
date Tue, 16 Apr 2024 19:07:27 +0200
parents bdd538139b08
children ffd8a15ceee9
line wrap: on
line diff