diff options
| author | Franck Cuny <franck.cuny@gmail.com> | 2017-02-04 10:21:47 -0800 |
|---|---|---|
| committer | Franck Cuny <franck.cuny@gmail.com> | 2017-02-04 10:21:47 -0800 |
| commit | fa083f7fd9f8be4e741478b22f31c692c7e105fb (patch) | |
| tree | 506ffce41f27d6228ccf4cd555cd8bf002e5ca4b /.gitignore | |
| parent | [bin] Was renamed. (diff) | |
| download | emacs.d-fa083f7fd9f8be4e741478b22f31c692c7e105fb.tar.gz | |
[Emacs] Remove `flycheck-pos-tip`.
I rarely use the mouse, and most of the time the tip is not displayed at the correct location. Not worth the trouble to fix it, just stop using it.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions