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 c84e737c 2010-10-28 rsc twocolonaddr = :([0-9]+)[:.]([0-9]+)