Zulip Chat Archive
Stream: Zulip meta
Topic: command linkifier
Eric Wieser (Apr 30 2022 at 20:45):
Can we adjust the command#(?P<decl>[a-zA-Z0-9_.'-]*[a-zA-Z0-9_'-]) regex to allow #s in the decl group?
Eric Wieser (Apr 30 2022 at 20:45):
For things like the #where command
Last updated: Dec 20 2023 at 11:08 UTC