]> source.dussan.org Git - vaadin-core.git/commitdiff
projects / vaadin-core.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 09841fb e7e5a16)
Merge pull request #28 from vaadin/rename_core_0.3.0
authorTomi Virkki <tomivirkki@users.noreply.github.com>
Wed, 16 Dec 2015 07:47:53 +0000 (09:47 +0200)
committerTomi Virkki <tomivirkki@users.noreply.github.com>
Wed, 16 Dec 2015 07:47:53 +0000 (09:47 +0200)
Rename: elements -> core-elements


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