chiark / gitweb /
No longer use the current_profile.ini to share the profile between the backend slicer...
-rw-r--r-- 100 .gitignore
drwxr-xr-x - Cura
-rw-r--r-- 2299 README
-rwxr-xr-x 5238 package.sh
drwxr-xr-x - scripts