Merge pull request #540 from MrPetovan/task/3878-move-html2_-to-src
authorMichael Vogel <icarus@dabo.de>
Thu, 8 Mar 2018 19:24:31 +0000 (20:24 +0100)
committerGitHub <noreply@github.com>
Thu, 8 Mar 2018 19:24:31 +0000 (20:24 +0100)
[develop] Move include/html2* to src/


Trivial merge