Module Name:	htdocs
Committed By:	dent
Date:		Sat May 12 07:28:22 UTC 2001

Modified Files:
	htdocs/developers: index.html
Added Files:
	htdocs/developers/lint: index.html

Log Message:
Add "How to de-lint files" document.  From Thomas Klausner.


To generate a diff of this commit:
cvs rdiff -r1.43 -r1.44 htdocs/developers/index.html
cvs rdiff -r0 -r1.1 htdocs/developers/lint/index.html

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.