diff options
author | w0rp <w0rp@users.noreply.github.com> | 2019-06-08 23:25:02 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-06-08 23:25:02 +0100 |
commit | 59829bc194ac95f67396f47fb90048afc70537c8 (patch) | |
tree | 2f41d37b2ac69938363c674b1a8884d18128d2d1 /doc | |
parent | d9931b98910a64b81499ef9ae9d95ac4d446c67f (diff) | |
parent | 8b0879212f8771f79cd3233e8a4f829c93d05915 (diff) | |
download | ale-59829bc194ac95f67396f47fb90048afc70537c8.zip |
Merge pull request #2253 from jj-kim/master
Improve location list behavior on split windows of same buffer.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions