diff options
author | w0rp <devw0rp@gmail.com> | 2017-10-12 23:25:41 +0100 |
---|---|---|
committer | w0rp <devw0rp@gmail.com> | 2017-10-12 23:25:41 +0100 |
commit | 663fe75d0faaf038e6f5e67a97940bf10990c0f0 (patch) | |
tree | abcfcd211a84f677955fe906c1e41f90f3cb029b /.gitignore | |
parent | e71c4a8bea25e6998d4d852677790ad6bd5a7e68 (diff) | |
download | ale-663fe75d0faaf038e6f5e67a97940bf10990c0f0.zip |
#965 - Make the cursor echo delay configurable
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions