chiark / gitweb /
Add option to add/remove machines from machine setting menu.
[cura.git] / .gitmodules