chiark / gitweb /
Merge pull request #984 from Dim3nsioneer/PluginExpansions
authordaid <daid303@gmail.com>
Thu, 16 Oct 2014 14:02:46 +0000 (16:02 +0200)
committerdaid <daid303@gmail.com>
Thu, 16 Oct 2014 14:02:46 +0000 (16:02 +0200)
Plugin enhancement

1  2 
Cura/gui/mainWindow.py

Simple merge