chiark / gitweb /
Some changes for the project manager.
authorDaid <daid303@gmail.com>
Tue, 17 Apr 2012 17:12:40 +0000 (19:12 +0200)
committerDaid <daid303@gmail.com>
Tue, 17 Apr 2012 17:12:40 +0000 (19:12 +0200)
commit0ed8e32b0c5bca5d3ce81c789c9418b77f9c5aac
treec6d2c0ee8d0300a85ea93dee1813460bdb522dfa
parent507c932207dcc02c767df0198a8754e6003be066
Some changes for the project manager.
Cura/cura.py
Cura/cura_sf/fabmetheus_utilities/settings.py
Cura/gui/opengl.py
Cura/util/profile.py