diff options
author | willem ferguson <willemferguson@zoology.up.ac.za> | 2015-01-28 08:12:36 +0200 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2015-01-27 22:58:38 -0800 |
commit | bc7d233365eecbc99856da9054146c112312a338 (patch) | |
tree | 65e1895db84255263f1466f4f35b7a74e8fc0aff /Documentation/images/DC_import_f20.jpg | |
parent | 0a0e930f03171e488feb48382777155618c56455 (diff) | |
download | subsurface-bc7d233365eecbc99856da9054146c112312a338.tar.gz |
User manual: Tying up loose ends
As the heading above says.
1) Place user manual option in main menu at the bottom of the Help submenu.
It is more easily seen in that position.
2) Replace two images. I forgot one of the images that had been changed to F20 format.
3) A few small changes, including in the systematic description of the main menu.
Signed-off-by: willem ferguson <willemferguson@zoology.up.ac.za>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'Documentation/images/DC_import_f20.jpg')
-rw-r--r-- | Documentation/images/DC_import_f20.jpg | bin | 68583 -> 61080 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/Documentation/images/DC_import_f20.jpg b/Documentation/images/DC_import_f20.jpg Binary files differindex b3b994afd..fe25e1dc2 100644 --- a/Documentation/images/DC_import_f20.jpg +++ b/Documentation/images/DC_import_f20.jpg |