Paul Richards e7f9bd714d Don't build lint libraries for the moment.		1996-03-24 13:58:27 +00:00
..
lint1
lint2
llib	replace 'install' with ${INSTALL}	1996-02-06 23:36:16 +00:00
xlint	replace 'install' with ${INSTALL}	1996-02-06 23:36:16 +00:00
Makefile	Don't build lint libraries for the moment.	1996-03-24 13:58:27 +00:00