Merge commit '2cedd8f0ecbd2b29bf0aac72bb8b7413b0326938' into merges
[unleashed.git] / usr / src / cmd / devctl / 
treefee7f5ad781b3d01743ffab443d3a8bfbddefb58
drwxr-xr-x   ..
-rw-r--r-- 1116 Makefile
-rw-r--r-- 15131 devctl.c