diff options
Diffstat (limited to 'Documentation/user-manual.txt')
| -rw-r--r-- | Documentation/user-manual.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/user-manual.txt b/Documentation/user-manual.txt index a7d71bbbe..1174faca3 100644 --- a/Documentation/user-manual.txt +++ b/Documentation/user-manual.txt @@ -38,7 +38,7 @@ software and (if needed) its dependencies please consult the INSTALL file included with the source code. *Audience*: Recreational Scuba Divers, Free Divers, Tec Divers, Professional -Di vers +Divers toc::[] |