diff linux/Makefile @ 4710:701976d7a7d1

fast header checker added
author arpi
date Thu, 14 Feb 2002 23:41:00 +0000
parents ec8ff6ea4af6
children df50da00260a
line wrap: on
line diff