DarkRadiant: master 768197a6

Author Committer Branch Timestamp Parent
orbweaver orbweaver master 31.07.2018 21:33 master a0cfe6c4
Changeset Add generated doc/manual.html to Git

Having the rendered HTML in source control avoids the need to add an AsciiDoc
pipeline for every platform, and may allow external hosting e.g. on GitLab.
add - doc/manual.html Diff File