]> source.dussan.org Git - vaadin-core.git/commitdiff
Merge pull request #17 from vaadin/cdn-destination
authorTomi Virkki <tomivirkki@users.noreply.github.com>
Thu, 8 Oct 2015 13:57:05 +0000 (16:57 +0300)
committerTomi Virkki <tomivirkki@users.noreply.github.com>
Thu, 8 Oct 2015 13:57:05 +0000 (16:57 +0300)
Fix cdn-destination after some changes in vaadin infra

1  2 
tasks/config.js

diff --cc tasks/config.js
Simple merge