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