diff options
author | w0rp <w0rp@users.noreply.github.com> | 2018-08-12 09:41:36 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-12 09:41:36 +0100 |
commit | a88a6d5285d60b5d3a94106aeb1359433cd40e8b (patch) | |
tree | d31e04395c2651b69b637600d8444ae962be747d /test/command_callback/test_cpp_cquery_command_callbacks.vader | |
parent | 6167f756280c6d4d10a5d6dc7453393588d90178 (diff) | |
parent | db003a4361613216f88b3525b37e34ed8e3019ab (diff) | |
download | ale-a88a6d5285d60b5d3a94106aeb1359433cd40e8b.zip |
Merge pull request #1806 from jimenezrick/fix-rustc-linter
Fix #1684: Use the correct flag name in rustc linter
Diffstat (limited to 'test/command_callback/test_cpp_cquery_command_callbacks.vader')
0 files changed, 0 insertions, 0 deletions