Sign in
plan9port
/
plan9
/
c3feb5c5c1ef2ddc014f77221a7ad10f140f7bfa
/
.
/
plumb
/
fileaddr
blob: cd2f120f7b1d86f43606b0fcd75da83084231791 [
file
] [
log
] [
blame
]
addrelem
=
'((#?[0-9]+)|(/[A-Za-z0-9_\^]+/?)|[.$])'
addr
=:(
$addrelem
([,;+
\-
]
$addrelem
)*)
twocolonaddr
=
:([
0
-
9
]+)[:.]([
0
-
9
]+)