]> source.dussan.org Git - vaadin-core.git/commitdiff
Merge pull request #12 from vaadin/docsite_task
authorTomi Virkki <tomivirkki@users.noreply.github.com>
Thu, 8 Oct 2015 13:48:48 +0000 (16:48 +0300)
committerTomi Virkki <tomivirkki@users.noreply.github.com>
Thu, 8 Oct 2015 13:48:48 +0000 (16:48 +0300)
Adding tasks to prepare demos for the doc site


Trivial merge