mirror of
https://github.com/9fans/plan9port.git
synced 2025-01-12 11:10:07 +00:00
3 lines
88 B
Text
3 lines
88 B
Text
addrelem='((#?[0-9]+)|(/[A-Za-z0-9_\^]+/?)|[.$])'
|
|
addr=:($addrelem([,;+\-]$addrelem)*)
|
|
|