1 files changed, 0 insertions, 19 deletions
diff --git a/misc/videotext/files/patch-aa b/misc/videotext/files/patch-aa
deleted file mode 100644
index f0533324e0f..00000000000
--- a/misc/videotext/files/patch-aa
+++ /dev/null
@@ -1,19 +0,0 @@
-*** scripts/check-help.orig	Tue Jun  8 16:10:07 1999
---- scripts/check-help	Tue Jun  8 16:10:07 1999
-*************** INFOFILE="$1"
-*** 24,30 ****
-  shift
-  
-  egrep -h 'XV_HELP_DATA.*"videotext:[a-zA-Z0-9_]+"' "$@" |
-!   gawk '
-      BEGIN {
-        RS = "[ \t,]"
-      }
---- 24,30 ----
-  shift
-  
-  egrep -h 'XV_HELP_DATA.*"videotext:[a-zA-Z0-9_]+"' "$@" |
-!   awk '
-      BEGIN {
-        RS = "[ \t,]"
-      }