diff options
| author | Daniel Gultsch <daniel@gultsch.de> | 2016-06-15 13:52:49 +0200 |
|---|---|---|
| committer | Daniel Gultsch <daniel@gultsch.de> | 2016-06-15 13:52:49 +0200 |
| commit | cb5393c32fbb0203b76daea6da1432367e52bd07 (patch) | |
| tree | 4642e4618028cb70fd3afd400cf85bbfcd6ee51a /src/free/java | |
| parent | 5f40a7042dc939be05b54501fdcb949302ad11c2 (diff) | |
refresh UI to redraw message hint after switching to pgp
Diffstat (limited to 'src/free/java')
0 files changed, 0 insertions, 0 deletions