]> source.dussan.org Git - vaadin-framework.git/commitdiff
Merge "Allow specifying prefixes also for resource directories (#9793)"
authorJohannes Dahlström <johannesd@vaadin.com>
Tue, 9 Oct 2012 16:15:26 +0000 (16:15 +0000)
committerVaadin Code Review <review@vaadin.com>
Tue, 9 Oct 2012 16:15:26 +0000 (16:15 +0000)

Trivial merge