]> source.dussan.org Git - vaadin-framework.git/commitdiff
Merge "Include GWT sources in sources jar (#9102)"
authorHenri Sara <hesara@vaadin.com>
Tue, 22 Jan 2013 12:29:21 +0000 (12:29 +0000)
committerVaadin Code Review <review@vaadin.com>
Tue, 22 Jan 2013 12:29:21 +0000 (12:29 +0000)

Trivial merge