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/user-manual_nl.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/user-manual_nl.html.git')
0 files changed, 0 insertions, 0 deletions