From: Tomi Virkki Date: Thu, 2 Jun 2016 06:56:58 +0000 (+0300) Subject: Merge pull request #52 from vaadin/feature/newdoc X-Git-Tag: v1.1.0~5 X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=94ef6c80397d869d429c17fdc1b6e676928fd6f4;p=vaadin-core.git Merge pull request #52 from vaadin/feature/newdoc Re-structure integration section --- 94ef6c80397d869d429c17fdc1b6e676928fd6f4