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