martin 6e85ed96e0 Disable lint.		2003-09-14 09:50:15 +00:00
..
config.h
Makefile	Disable lint.	2003-09-14 09:50:15 +00:00