From f8b1e849a6a3bd53f24a4aac70bc904cdb5ff711 Mon Sep 17 00:00:00 2001
From: tv <tv@shackspace.de>
Date: Thu, 21 May 2015 23:52:06 +0200
Subject: deploy: merge next

---
 bin/bre-invert-word | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100755 bin/bre-invert-word

(limited to 'bin/bre-invert-word')

diff --git a/bin/bre-invert-word b/bin/bre-invert-word
deleted file mode 100755
index 677ba2e9..00000000
--- a/bin/bre-invert-word
+++ /dev/null
@@ -1,15 +0,0 @@
-#! /bin/sh
-# bre-invert-word : string -> BRE
-set -euf
-
-# TODO escape chars in the resulting BRE.
-awk -v input="$1" '
-  BEGIN {
-    split(input,s,"")
-    for (i in s) {
-      c=s[i]
-      printf "\\|%s[^%s]", y, c
-      y = y c
-    }
-  }
-'
-- 
cgit v1.2.3