diff options
author | Daniel Gultsch <daniel@gultsch.de> | 2016-02-19 20:54:43 +0100 |
---|---|---|
committer | Daniel Gultsch <daniel@gultsch.de> | 2016-02-19 20:54:43 +0100 |
commit | df992d25665aed3eaec25662e70a3b859667c624 (patch) | |
tree | 2a98410451ee28a9c0bf59993ce3c81406c6a230 /.gitignore | |
parent | ad60bc002c920f4f899eca65263ee1f3a4b6d64e (diff) |
don't reset whisper on reInit. fixes #1637
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions