diff options
author | willemferguson <willemferguson@zoology.up.ac.za> | 2020-04-19 16:20:00 +0200 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2020-04-19 09:28:26 -0700 |
commit | eb6dfd3745b003f6450445c5073a280b96c7f3db (patch) | |
tree | 5cc04ef8b987550bed3c2a18f2318dfef7bdbf2a /Documentation/user-manual.html.git | |
parent | 195d43d186d62f1bf36f87eee93949c671860402 (diff) | |
download | subsurface-eb6dfd3745b003f6450445c5073a280b96c7f3db.tar.gz |
Change to user-manual (Dive export)
This brings the user manual in line with the recent changes to the
layout of the export panel.
Signed-off-by: willemferguson <willemferguson@zoology.up.ac.za>
Diffstat (limited to 'Documentation/user-manual.html.git')
0 files changed, 0 insertions, 0 deletions