Skip to content

Make .* more prominent than [*]#1067

Merged
AlexFrid merged 1 commit intomainfrom make-dot-star-more-prominentDec 12, 2024

Commits

Commits on Dec 12, 2024