Merge pull request #623 from Nihlus/enable-xml-doc-output
authorJarl Gullberg <Jarl.Gullberg@gmail.com>
Mon, 14 Aug 2017 17:11:07 +0000 (19:11 +0200)
committerGitHub <noreply@github.com>
Mon, 14 Aug 2017 17:11:07 +0000 (19:11 +0200)
Enable XML documentation output for supporting projects


Trivial merge