]> source.dussan.org Git - vaadin-framework.git/commitdiff
Merge "Rename DependencyResource to PublishedFile (#10224)"
authorLeif Åstrand <leif@vaadin.com>
Wed, 21 Nov 2012 08:46:43 +0000 (08:46 +0000)
committerVaadin Code Review <review@vaadin.com>
Wed, 21 Nov 2012 08:46:43 +0000 (08:46 +0000)

Trivial merge