yamt 49cee5da7c #include a necessary header directly, rather than via user.h. ...

while i'm here, remove unnecessary #include.

2006-05-11 11:58:04 +00:00

..

ktrace.1

…

ktrace.c

…

ktrace.h

…

Makefile

…

subr.c

…