From a86193d88edda899dd9859c21554fd6e17cdcb3e Mon Sep 17 00:00:00 2001 From: Marco Hinz Date: Tue, 14 Apr 2015 12:28:31 +0200 Subject: Remove runtime/tools/ #2426 This directory contains old (at least 10+ years) scripts that mainly filter output of other old programs to make them conformant with an 'errorformat' from 10+ years ago. --- runtime/tools/ref | 11 ----------- 1 file changed, 11 deletions(-) delete mode 100755 runtime/tools/ref (limited to 'runtime/tools/ref') diff --git a/runtime/tools/ref b/runtime/tools/ref deleted file mode 100755 index 77bfc805e2..0000000000 --- a/runtime/tools/ref +++ /dev/null @@ -1,11 +0,0 @@ -#!/bin/sh -# -# ref - Check spelling of the arguments -# -# Usage: ref word .. -# -# can be used for the K command of Vim -# -spell <