chiark / gitweb /
Small cleanup on the batch runner tool.
-rw-r--r-- 218 .gitignore
drwxr-xr-x - Cura
-rw-r--r-- 1019 README.md
-rwxr-xr-x 7050 package.sh
drwxr-xr-x - scripts