chiark / gitweb /
plugins: Support user configuration of default values
[cura.git] / dev-cura
2016-02-06 Ian Jacksondev-cura: Make into a proper script
2016-01-26 Youness AlaouiFix the dev-cura script
2015-07-31 Youness AlaouiMerge branch 'new-settings' into devel
2015-07-31 Youness AlaouiMerge branch 'new-settings' into devel
2015-06-11 nickthetaitRename executable to remove naming conflict. Fixes...