| commit | e70f30508317d83b3f65704229c198aba2b10730 | [log] [tgz] |
|---|---|---|
| author | rsc <devnull@localhost> | Sun Nov 23 18:30:04 2003 +0000 |
| committer | rsc <devnull@localhost> | Sun Nov 23 18:30:04 2003 +0000 |
| tree | f669c0b02fc3e1028c1b7fd8f3118895f8d9487e | |
| parent | 1379cecf675b52e268cf913699301b027ec7f816 [diff] [blame] |
add plumbing files.
diff --git a/plumb/fileaddr b/plumb/fileaddr new file mode 100644 index 0000000..0f08dc3 --- /dev/null +++ b/plumb/fileaddr
@@ -0,0 +1,3 @@ +addrelem='((#?[0-9]+)|(/[A-Za-z0-9_\^]+/?)|[.$])' +addr=:($addrelem([,;+\-]$addrelem)*) +