diff dot_tool-versions @ 741:aef7dab2b0e5

feat: only jump snippets if inside one
author zegervdv <zegervdv@me.com>
date Thu, 22 Dec 2022 10:44:01 +0100
parents da3545ac5801
children 990d9b76a6e5
line wrap: on
line diff