diff options
author | Dirk Hohndel <dirk@hohndel.org> | 2018-09-15 15:56:19 -0700 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2018-09-15 16:07:22 -0700 |
commit | 23e97865f68064084d78176eacfee5f3ae7868ca (patch) | |
tree | a84271957db2f17a1304d759d11c6353e81bb0d8 /Documentation/mobile-manual.html.git | |
parent | 26d8beb7668d88124a954c163de9b1ce1b082c39 (diff) | |
download | subsurface-23e97865f68064084d78176eacfee5f3ae7868ca.tar.gz |
Manuals: fix asciidoc errors
These caused easy to miss build failures when creating HTML versions.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'Documentation/mobile-manual.html.git')
0 files changed, 0 insertions, 0 deletions