diff options
Diffstat (limited to 'src/tools/find_lt')
| -rwxr-xr-x | src/tools/find_lt | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/tools/find_lt b/src/tools/find_lt deleted file mode 100755 index f2f5f05a6de..00000000000 --- a/src/tools/find_lt +++ /dev/null @@ -1,6 +0,0 @@ -#!/bin/sh - -# src/tools/find_lt -# SGML is fine with ">" - -grep "$@" '<[^]a-z0-9"/!-]' *.sgml ref/*.sgml |