Merge commit '42a3762d0138d6dd0c0f96964be98d0b21ab6bef'
[unleashed.git] / usr / src / cmd / platexec / 
tree6f2b23c72a2263bda3edc7df1643e73713168cd1
drwxr-xr-x   ..
-rw-r--r-- 1064 Makefile
-rw-r--r-- 1318 platexec.sh