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/Export_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/Export_f20.jpg')
| -rw-r--r-- | Documentation/images/Export_f20.jpg | bin | 0 -> 30774 bytes |
1 files changed, 0 insertions, 0 deletions
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 |