jehanne/sys/lib/plumb/fileaddr

4 lines
88 B
Plaintext
Raw Normal View History

addrelem='((#?[0-9]+)|(/[A-Za-z0-9_\^]+/?)|[.$])'
addr=:($addrelem([,;+\-]$addrelem)*)