add plumbing files.

2003-11-23 18:30:04 +00:00 · 2003-11-23 18:30:04 +00:00 · e70f305083
commit e70f305083
parent 1379cecf67
2 changed files with 108 additions and 0 deletions
--- a/plumb/fileaddr
+++ b/plumb/fileaddr
@ -0,0 +1,3 @@
+addrelem='((#?[0-9]+)|(/[A-Za-z0-9_\^]+/?)|[.$])'
+addr=:($addrelem([,;+\-]$addrelem)*)
+