doc: Do not mix spaces and tabs for indentation in the generated HTML.

This commit is contained in:
Emmanuel Lepage Vallee 2019-07-09 17:00:20 -04:00
parent 7cba838067
commit 8038f8124e
1 changed files with 13 additions and 13 deletions