diff options
| author |  Robert C. Helling <helling@atdotde.de> | 2018-05-17 10:04:41 +0200 |
|---|---|---|
| committer | Robert C. Helling <helling@atdotde.de> | 2018-05-28 09:57:00 +0200 |
| commit | 7c6e5ed5dbc32c90984b1cc92bc9dfc023295c84 (patch) | |
| tree | 340500dba2318c05db62c76073a1e31165b91adc /android | |
| parent | 424efb77201de370d35b10028eba40736a0fe955 (diff) | |
| download | subsurface-7c6e5ed5dbc32c90984b1cc92bc9dfc023295c84.tar.gz | |
Distinguish between user and internal divemode names
The former should be translated but not those that
go to xml/git.
... and fix capitalization of pSCR.
Suggested-by: Stefan Fuchs <sfuchs@gmx.de>
Signed-off-by: Robert C. Helling <helling@atdotde.de>
Diffstat (limited to 'android')
0 files changed, 0 insertions, 0 deletions