diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2020-03-30 14:01:59 -0700 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2020-03-31 08:42:20 -0700 |
| commit | 716c3c3ed52916abcb47ba24802b0581e0517fa0 (patch) | |
| tree | 923648b0ca484ed64135313780f78efee4c2bc0a /desktop-widgets | |
| parent | aeb17946166eb162ac3efb32a8bacbef2d482824 (diff) | |
| download | subsurface-716c3c3ed52916abcb47ba24802b0581e0517fa0.tar.gz | |
mobile/user-manual: update to remove reference to 'map it' button
It's still in the screen shot, but I'll fix that some other time.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'desktop-widgets')
0 files changed, 0 insertions, 0 deletions