3 ms·See also https://www.emacswiki.org/emacs/rx https://www.emacswiki.org/emacs/rxby unhammer 6y agoSee also https://www.emacswiki.org/emacs/rx https://www.emacswiki.org/emacs/rx