Skip to content

fix digit escapes in java & php highlights#846

Merged
archseer merged 1 commit intohelix-editor:masterfrom the-mikedavis:fix-regex-digit-escapeOct 16, 2021
+2-2

Commits

Commits on Oct 15, 2021