David E. O'Brien dfbf15ee80 Awk version of makeobjops.PL. ... Note the invocation ordering is slightly different: awk -f makeobjops.awk foo.m -ch Submitted by: Oliver Fromme <olli@fromme.com>		2002-05-01 03:19:19 +00:00
..
devlist2h.awk
makeobjops.awk	Awk version of makeobjops.PL.	2002-05-01 03:19:19 +00:00
miidevs2h.awk
pccarddevs2h.awk
usbdevs2h.awk	constify	2002-04-01 19:22:04 +00:00
vnode_if.awk	Return vnode_if back to its AWK roots.	2002-03-01 01:20:23 +00:00