Use pushButton instead of toolButton
authorduplo <duplo@38d2e660-2303-0410-9eaa-f027e97ec537>
Tue, 21 Apr 2009 12:45:42 +0000 (12:45 +0000)
committerduplo <duplo@38d2e660-2303-0410-9eaa-f027e97ec537>
Tue, 21 Apr 2009 12:45:42 +0000 (12:45 +0000)
commit33b3f8a472efb8b35120b681b339aecb23cd3459
tree7bee66270545d760d936608ed4bbebd6036f1a9a
parent28737281b6e48c7f76d88110f9015c3e6b62c2b8
Use pushButton instead of toolButton

git-svn-id: https://src.develer.com/svnoss/bertos/trunk@2598 38d2e660-2303-0410-9eaa-f027e97ec537
wizard/ui/toolchain_select.ui