chiark / gitweb /
Merge pull request #329 from smorloc/master
authordaid <daid303@gmail.com>
Fri, 18 Jan 2013 15:27:15 +0000 (07:27 -0800)
committerdaid <daid303@gmail.com>
Fri, 18 Jan 2013 15:27:15 +0000 (07:27 -0800)
Save/restore window size + Cura update check menu item


Trivial merge