repos
/
plan9port.git
/
tree
/
plumb
/ fileaddr
Blob
Date:
Sun Nov 23 18:30:04 2003 UTC
Message:
add plumbing files.
Actions:
History
|
Blame
|
Raw File
1
addrelem='((#?[0-9]+)|(/[A-Za-z0-9_\^]+/?)|[.$])'
2
addr=:($addrelem([,;+\-]$addrelem)*)
3