diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2021-09-11 13:37:53 -0700 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2021-09-13 11:21:34 -0700 |
| commit | ebbef8cf17f85bbdbd9027d93ba174ab0060feea (patch) | |
| tree | 1bfe6db5fe74facb8a6ba3db80ba1adf47a5da96 /Documentation/user-manual_es.html.git | |
| parent | 53cbf53058f2549925863386de8915c90b0b76a7 (diff) | |
| download | subsurface-ebbef8cf17f85bbdbd9027d93ba174ab0060feea.tar.gz | |
mobile: remove long disabled planner UI
This was never functional.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'Documentation/user-manual_es.html.git')
0 files changed, 0 insertions, 0 deletions