subsurface/desktop-widgets
Robert C. Helling 7c6e5ed5db 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>
2018-05-28 09:57:00 +02:00
..
2015-10-30 10:36:49 -07:00
2017-12-30 08:23:22 -08:00
2017-04-29 13:32:55 -07:00
2017-11-30 23:14:46 -08:00
2017-11-30 23:14:46 -08:00
2017-04-29 13:32:55 -07:00
2017-11-28 11:36:19 +02:00
2015-10-30 10:36:49 -07:00
2017-11-30 23:14:46 -08:00
2017-11-30 23:14:46 -08:00
2017-11-30 23:14:46 -08:00
2017-11-30 23:14:46 -08:00
2017-11-30 23:14:46 -08:00
2017-11-30 23:14:46 -08:00
2017-04-29 13:32:55 -07:00
2015-10-30 10:36:49 -07:00
2017-04-29 13:32:55 -07:00
2017-11-30 23:14:46 -08:00
2017-11-30 23:14:46 -08:00
2017-03-06 06:40:00 -08:00
2017-11-30 23:14:46 -08:00