lukem 89f2e609f9 use simpler MDSET_NOSTRIP= instead of MDSET_NOSTRIP.xxxx=		2003-10-25 04:39:48 +00:00
..
instkernel	use simpler MDSET_NOSTRIP= instead of MDSET_NOSTRIP.xxxx=	2003-10-25 04:39:48 +00:00
miniroot	…
Makefile	…