]> source.dussan.org Git - vaadin-framework.git/commitdiff
Merge branch 'debug-console'
authorJohannes Dahlström <johannesd@vaadin.com>
Fri, 20 Jul 2012 15:45:36 +0000 (18:45 +0300)
committerJohannes Dahlström <johannesd@vaadin.com>
Fri, 20 Jul 2012 15:45:36 +0000 (18:45 +0300)

Trivial merge