]> source.dussan.org Git - vaadin-core.git/commitdiff
Merge pull request #128 from vaadin/rename-package
authorTomi Virkki <tomivirkki@users.noreply.github.com>
Wed, 6 Sep 2017 10:33:58 +0000 (13:33 +0300)
committerGitHub <noreply@github.com>
Wed, 6 Sep 2017 10:33:58 +0000 (13:33 +0300)
Rename package to match repository name


Trivial merge