diff options
Diffstat (limited to 'plumb/fileaddr')
| -rw-r--r-- | plumb/fileaddr | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/plumb/fileaddr b/plumb/fileaddr index 0f08dc3e..cd2f120f 100644 --- a/plumb/fileaddr +++ b/plumb/fileaddr @@ -1,3 +1,4 @@ addrelem='((#?[0-9]+)|(/[A-Za-z0-9_\^]+/?)|[.$])' addr=:($addrelem([,;+\-]$addrelem)*) +twocolonaddr = :([0-9]+)[:.]([0-9]+) |