Backed out changeset e05f5705283d (wrong name)
[unleashed.git] / usr / src / cmd / platexec / 
treec201cd9351fb77bdcf3321bca4a10e515f5cbdf7
drwxr-xr-x   ..
-rw-r--r-- 1070 Makefile
-rw-r--r-- 1318 platexec.sh