diff options
author | Dirk Hohndel <dirk@hohndel.org> | 2020-03-26 10:04:37 -0700 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2020-03-27 12:32:06 -0700 |
commit | 851c8c273aa1af00f4c61f245a78229034124d18 (patch) | |
tree | 69a33ec1f1035eae45f04ff144c28c9670d71aaf /Documentation/user-manual_es.html.git | |
parent | b0572dd04348bc57269da512d2475a3cfb33076b (diff) | |
download | subsurface-851c8c273aa1af00f4c61f245a78229034124d18.tar.gz |
mobile/user-manual: add hyperlinks where useful
Suggested-by: Martin de Weger <martin@deweger.org>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'Documentation/user-manual_es.html.git')
0 files changed, 0 insertions, 0 deletions