fix bad merge
authorNiki Roo <niki@nikiroo.be>
Thu, 2 Jan 2020 21:07:25 +0000 (22:07 +0100)
committerNiki Roo <niki@nikiroo.be>
Thu, 2 Jan 2020 21:07:25 +0000 (22:07 +0100)
commit8a1cae77d279cc246a68109f6178b2bb05e7471f
tree177ae13ee072bbd93fb0f1ec4709725b2e38f079
parent77d3a60869e7a780c6ae069e51530e1eacece5e2
fix bad merge
TWidget.java