chiark / gitweb /
Push objects free if the head sizes are adjusted.
authordaid <daid303@gmail.com>
Mon, 24 Feb 2014 08:31:14 +0000 (09:31 +0100)
committerdaid <daid303@gmail.com>
Mon, 24 Feb 2014 08:31:14 +0000 (09:31 +0100)
commiteb3b06bb7b313eee06c2c5548d9597c3c7e0e9c4
treed47f2f95bf91117a75436051a3736a1e4d5e6a03
parentff6de0277d8c24bf36b7838e1fa847067b9533c2
Push objects free if the head sizes are adjusted.
Cura/gui/mainWindow.py