BaseName: 00-lint
Version: 1.0
Description: Put source into lint.
CreationDate: Wed Jan  3 14:12:02 CET 2007
Maintainer: dr. W.C.A. Wijngaards
Category:
Component:
CmdDepends:
Depends:
Help:
Pre: 00-lint.pre
Post:
Test: 00-lint.test
AuxFiles:
Passed:
Failure: