]> source.dussan.org Git - vaadin-core.git/commitdiff
projects / vaadin-core.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 6eb91bc 9b0fdad)
Merge pull request #52 from vaadin/feature/newdoc
authorTomi Virkki <tomivirkki@users.noreply.github.com>
Thu, 2 Jun 2016 06:56:58 +0000 (09:56 +0300)
committerTomi Virkki <tomivirkki@users.noreply.github.com>
Thu, 2 Jun 2016 06:56:58 +0000 (09:56 +0300)
Re-structure integration section


Trivial merge
Vaadin web components: https://github.com/vaadin/vaadin-core