]> source.dussan.org Git - vaadin-framework.git/commitdiff
Merge "UI stylename handling (#9832)"
authorJohannes Dahlström <johannesd@vaadin.com>
Wed, 14 Nov 2012 13:19:44 +0000 (13:19 +0000)
committerVaadin Code Review <review@vaadin.com>
Wed, 14 Nov 2012 13:19:44 +0000 (13:19 +0000)

Trivial merge