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 | |
| 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')
| -rw-r--r-- | Documentation/images/DC_import_f20.jpg | bin | 68583 -> 61080 bytes |
| -rw-r--r-- | Documentation/images/Export_f20.jpg | bin | 0 -> 30774 bytes |
| -rw-r--r-- | Documentation/images/ImportFromDC1.jpg | bin | 24086 -> 0 bytes |
3 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 diff --git a/Documentation/images/Export_f20.jpg b/Documentation/images/Export_f20.jpg Binary files differnew file mode 100644 index 000000000..81553184f --- /dev/null +++ b/Documentation/images/Export_f20.jpg diff --git a/Documentation/images/ImportFromDC1.jpg b/Documentation/images/ImportFromDC1.jpg Binary files differdeleted file mode 100644 index 6b58c7627..000000000 --- a/Documentation/images/ImportFromDC1.jpg +++ /dev/null |
