diff options
Diffstat (limited to 'tools/Characters')
| -rw-r--r-- | tools/Characters | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/tools/Characters b/tools/Characters deleted file mode 100644 index fb8e6868ab..0000000000 --- a/tools/Characters +++ /dev/null @@ -1,16 +0,0 @@ -# Characters - -# $Id$ - -# Usage: -# Characters n1 to n2 -# -# Select the characters in the given interval, counting from the first -# character of the current line, in the active window. -# -# Typical use is an error message of the form: -# File fff; Line lll; Characters yyy to zzz - -exit 1 if {#} 3 - -Find Ƥ!{1}:¤!`evaluate {3} - {1}` "{active}" |