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