Bigger shell
[minix3.git] / tools / 
treee6af07368f3bf4ce2e4f77bcf91e1af4f0401513
drwxr-xr-x   ..
-rwxr-xr-x 2709 Makefile
-rwxr-xr-x 442 chrootmake.sh
-rw-r--r-- 838 issue.install
-rwxr-xr-x 4999 mkboot
-rwxr-xr-x 9829 release.sh
drwxr-xr-x - release
-rwxr-xr-x 206 tell_config