From 49f2a0dfce40a52ecbf1baeb055fea3e61f94eef Mon Sep 17 00:00:00 2001
From: "Eric S. Raymond" <esr@thyrsus.com>
Date: Wed, 10 Sep 2003 01:02:47 +0000
Subject: [PATCH] Filter out form feeds.

---
 filterator | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/filterator b/filterator
index 984e6f0..e620107 100755
--- a/filterator
+++ b/filterator
@@ -44,7 +44,7 @@ def nontrivial(text):
             text = regexp.sub(' ', text)
         for ch in ('{','}', '(',')', '<','>', '[',']',
                    ';', ':', ',', '.', '%', '^', '&', '|', '*','?',
-                   '+', '-', '/', '=', '!', '\n','\t'):
+                   '+', '-', '/', '=', '!', '\n','\t', '\v'):
             text = text.replace(ch, ' ')
         if savecopy == text:
             break
-- 
2.43.0