Skip to content

fix: do not quote the divider in highlights#138

Merged
MartinBernstorff merged 2 commits intomainfrom fix/do_not_quote_the_divider_in_highlightsApr 9, 2024

Commits

Commits on Apr 9, 2024