diff options
| author |  Stefan Fuchs <sfuchs@gmx.de> | 2018-01-01 21:49:19 +0100 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2018-01-02 09:12:31 -0800 |
| commit | 34d1dd469c5637c848e5dcecfab0dd56c26a3f4a (patch) | |
| tree | 76c7f85d566a5ef22b638b712357f5fa521c6142 /terms | |
| parent | b7494bfb2e3e4b2736a2d549e24989f8831e44a0 (diff) | |
| download | subsurface-34d1dd469c5637c848e5dcecfab0dd56c26a3f4a.tar.gz | |
Enable translation of ctrl key name for tool tip in dive notes
This really enables the translation of the ctrl key name.
Signed-off-by: Stefan Fuchs <sfuchs@gmx.de>
Diffstat (limited to 'terms')
0 files changed, 0 insertions, 0 deletions