From 0a6eb6adc5cc068f1ef55f12731b61b182b1590b Mon Sep 17 00:00:00 2001 From: Neil Jerram Date: Fri, 8 Mar 2002 13:27:10 +0000 Subject: [PATCH] * Mention the `lint' script in NEWS. --- NEWS | 1 + 1 file changed, 1 insertion(+) diff --git a/NEWS b/NEWS index 0d9b9a44c..5fbf1d44a 100644 --- a/NEWS +++ b/NEWS @@ -111,6 +111,7 @@ also be executable as scripts. At this time, these scripts are available: doc-snarf frisk generate-autoload + lint punify read-scheme-source use2dot