Filter out form feeds.

diff --git a/filterator b/filterator
index 984e6f040cd09b187c5ece1a9f66f785d72a99d9..e6201075b0452e9c727423507bc9c9e760d0981a 100755 (executable)
--- 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