That's a bug

This commit is contained in:
Benson Chu 2023-04-29 14:12:31 -05:00
parent 7fa8090e1e
commit d486269566

View file

@ -207,7 +207,7 @@
(replace-regexp (rx " "
(or "*" "!")
" "
(group (+ (not " "))))
(group (+ (not (any " " "\n")))))
" \\1 ")
(replace-regexp (rx (and " " (+ " ")
";; [" (+ (any digit "-" "=" "/")) "]"