diff options
author | w0rp <devw0rp@gmail.com> | 2020-08-10 02:14:23 +0100 |
---|---|---|
committer | w0rp <devw0rp@gmail.com> | 2020-08-10 02:14:23 +0100 |
commit | 2237f9b4623f0fc5c6b4b70e47171a94b6a30bd4 (patch) | |
tree | 58821d46a0ad8923f37ffa2696ccd829628ca5a3 /plugin | |
parent | 05210846e41ea1e3cfc1c8e91834951f642348f7 (diff) | |
download | ale-2237f9b4623f0fc5c6b4b70e47171a94b6a30bd4.zip |
#2919 Use compile_commands.json for headers
Diffstat (limited to 'plugin')
0 files changed, 0 insertions, 0 deletions