chiark / gitweb /
Fix the dev-cura script