chiark / gitweb /
More work in progress.
[distorted-chroot] / mess / maint /
drwxr-xr-x   ..
-rw-r--r-- 2932 Makefile
-rwxr-xr-x 3913 install-cross-tools
-rwxr-xr-x 3759 mkbuildchroot
-rwxr-xr-x 2025 mkchrootconf
-rwxr-xr-x 247 sync
-rwxr-xr-x 5750 update-cross-tools