Blame


1 e70f3050 2003-11-23 devnull addrelem='((#?[0-9]+)|(/[A-Za-z0-9_\^]+/?)|[.$])'
2 e70f3050 2003-11-23 devnull addr=:($addrelem([,;+\-]$addrelem)*)
3 e70f3050 2003-11-23 devnull
4 5a69e405 2013-10-22 robpike twocolonaddr = ([0-9]+)[:.]([0-9]+)