diff options
| author | w0rp <devw0rp@gmail.com> | 2017-08-25 22:22:26 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2017-08-25 22:22:26 +0100 |
| commit | cdd1ddffdb95151f5cb96fd2549eb9e44f2a2fcb (patch) | |
| tree | 8835181a3f1fc0c11f92d531770181b833f7279b /.gitattributes | |
| parent | 8f8d015daeb2070b20c8296dd8488e706332b5b7 (diff) | |
| download | ale-cdd1ddffdb95151f5cb96fd2549eb9e44f2a2fcb.zip | |
Fix #876 - Save history in a separate buffer variable so history works when linting is disabled
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions