Fri, 16 Nov 2012 18:09:11 +0100 Merge with 8aedef0c12e112d36a97890eadd6c570174fb419
veltr [Fri, 16 Nov 2012 18:09:11 +0100] rev 957
Merge with 8aedef0c12e112d36a97890eadd6c570174fb419
Fri, 16 Nov 2012 18:08:48 +0100 Another Widget Bugfix
veltr [Fri, 16 Nov 2012 18:08:48 +0100] rev 956
Another Widget Bugfix
(0) -300 -100 -30 -10 -2 +2 +10 +30 +100 +300 tip