From: Tomi Virkki Date: Thu, 8 Oct 2015 13:48:48 +0000 (+0300) Subject: Merge pull request #12 from vaadin/docsite_task X-Git-Tag: 0.3.0-beta10~2 X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=4ecbae8718341d380c57fce6bbd8fb690930bee1;p=vaadin-core.git Merge pull request #12 from vaadin/docsite_task Adding tasks to prepare demos for the doc site --- 4ecbae8718341d380c57fce6bbd8fb690930bee1