diff options
| author | Daniel Gultsch <daniel@gultsch.de> | 2016-02-16 09:57:59 +0100 |
|---|---|---|
| committer | Daniel Gultsch <daniel@gultsch.de> | 2016-02-16 09:57:59 +0100 |
| commit | a9b957e8a2b9cb7729ed0d2cc8b5efa1bee50c79 (patch) | |
| tree | baffe59d760a36e3b1f23fc1ff8230d658fa77b5 /src/free/java | |
| parent | 0ca4a33bfb76d63a3c2d4447643a5bd90ac5315f (diff) | |
added setting to opt-out of message correction. renamed preferences and options to settings
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions