]> source.dussan.org Git - vaadin-framework.git/commitdiff
projects / vaadin-framework.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 4029a13 09bc996)
Merge changes from origin/7.1
authorBuild Agent <build@vaadin.com>
Thu, 27 Feb 2014 12:24:28 +0000 (14:24 +0200)
committerBuild Agent <build@vaadin.com>
Thu, 27 Feb 2014 12:24:28 +0000 (14:24 +0200)
09bc996 Use more worker threads for widgetset compilation

Change-Id: I29b8726ae261cfa44c3e2734b582648b94fab267


Trivial merge
Vaadin 6, 7, 8 is a Java framework for modern Java web applications: https://github.com/vaadin/framework