diff options
| author |  Jan Mulder <jlmulder@xs4all.nl> | 2018-09-17 09:47:04 +0200 |
|---|---|---|
| committer |  bstoeger <32835590+bstoeger@users.noreply.github.com> | 2018-09-17 11:14:31 +0200 |
| commit | d3f66bad6dfcb3dc2a42b97f07b1ad24a44af07e (patch) | |
| tree | 305751677d65bd4eff24f327d8bac0007dde5df9 /Documentation/images/MobileGpsMenu.jpg | |
| parent | 8fbcb4309bb04042b9f1761b00a193488e0f50fc (diff) | |
| download | subsurface-d3f66bad6dfcb3dc2a42b97f07b1ad24a44af07e.tar.gz | |
User Manual: scale recently changed image
The MobileGpsMenu.jpg image was way to big in the generated html and pdf
versions of the manual. Corrected here.
Signed-off-by: Jan Mulder <jlmulder@xs4all.nl>
Diffstat (limited to 'Documentation/images/MobileGpsMenu.jpg')
| -rw-r--r-- | Documentation/images/MobileGpsMenu.jpg | bin | 126174 -> 33633 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/Documentation/images/MobileGpsMenu.jpg b/Documentation/images/MobileGpsMenu.jpg Binary files differindex 0a5dd6fc8..15437eef5 100644 --- a/Documentation/images/MobileGpsMenu.jpg +++ b/Documentation/images/MobileGpsMenu.jpg |
