git: 9front

ref: 27ff6876d02ff5d326d6ee13d2466a6e4a3e0925
dir: /sys/lib/plumb/fileaddr/

View raw version
addrelem='((#?[0-9]+)|(/[A-Za-z0-9_\^]+/?)|[.$])'
addr=:($addrelem([,;+\-]$addrelem)*):?