From e70f30508317d83b3f65704229c198aba2b10730 Mon Sep 17 00:00:00 2001
From: rsc <devnull@localhost>
Date: Sun, 23 Nov 2003 18:30:04 +0000
Subject: add plumbing files.

---
 plumb/fileaddr | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 plumb/fileaddr

(limited to 'plumb/fileaddr')

diff --git a/plumb/fileaddr b/plumb/fileaddr
new file mode 100644
index 00000000..0f08dc3e
--- /dev/null
+++ b/plumb/fileaddr
@@ -0,0 +1,3 @@
+addrelem='((#?[0-9]+)|(/[A-Za-z0-9_\^]+/?)|[.$])'
+addr=:($addrelem([,;+\-]$addrelem)*)
+
-- 
cgit v1.2.3