Sign in
plan9port
/
plan9
/
23fb2edb22703ad10aae02295e654b3de68617c5
/
.
/
plumb
/
fileaddr
blob: 0f08dc3eac9a71ce6c409973dce96a78c6c889f0 [
file
] [
log
] [
blame
]
rsc
e70f305
2003-11-23 18:30:04 +0000
[
diff
] [
blame
]
1
addrelem
=
'((#?[0-9]+)|(/[A-Za-z0-9_\^]+/?)|[.$])'
2
addr
=:(
$addrelem
([,;+
\-
]
$addrelem
)*)
3
