]> source.dussan.org Git - vaadin-core.git/commit
Merge pull request #134 from vaadin/remove-docs
authorTomi Virkki <tomivirkki@users.noreply.github.com>
Sun, 1 Oct 2017 08:35:59 +0000 (11:35 +0300)
committerGitHub <noreply@github.com>
Sun, 1 Oct 2017 08:35:59 +0000 (11:35 +0300)
commitc72c103dd3dd04a52c0b2f2dc2373b4657e30c8e
tree8888c47a537e6858902a9a400dddf7bcd3fd0b9b
parentc9441751aa6f82ad46d942a671a2c6a58aaec5c4
parentf5aaec7136c8f51e512a113248ef6c539db0631d
Merge pull request #134 from vaadin/remove-docs

Remove docs folder