diff options
| author | Aleks Kissinger <aleks0@gmail.com> | 2020-04-10 16:50:03 +0100 |
|---|---|---|
| committer | Aleks Kissinger <aleks0@gmail.com> | 2020-04-10 16:50:03 +0100 |
| commit | 0ca80333a1593af964a8361af72aeab37e919868 (patch) | |
| tree | c3d0a24081b99fc19ae469af51229462ea723d80 /.gitignore | |
| parent | dcb4470b8cd34cd6f12d59988c1b0af9008b3420 (diff) | |
check for auto-repeating key before switching tool (fixes #58)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions