From d7bc542ef754486313a861350e234485328fc6aa Mon Sep 17 00:00:00 2001 From: Oliver Burn Date: Wed, 6 Feb 2002 05:45:48 +0000 Subject: [PATCH] fixed copy & paste error --- docs/cmdline.html | 1 - 1 file changed, 1 deletion(-) diff --git a/docs/cmdline.html b/docs/cmdline.html index 60a9e9119..70008b76a 100644 --- a/docs/cmdline.html +++ b/docs/cmdline.html @@ -129,7 +129,6 @@ This command line tool is included in the checkstyle distribution.

checkstyle.require.packagehtml Specifies whether to require that package documentation is available. Defaults to "false". - No checkstyle.ignore.imports