diff options
author | Joel Challis <git@zvecr.com> | 2021-12-29 21:35:35 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-12-30 08:35:35 +1100 |
commit | 1a8a842cfb3e87a82afb57ba29ca59c5fa6fe97b (patch) | |
tree | 65bd758dc5fe6fae12b00df15c5d7e8de801fe78 /users/jackhumbert | |
parent | 906108fb486797ab2f3eb7c3a6f70e099c1199e6 (diff) |
Fix compilation-database command under MSYS (#15652)
* Fix compilation-database command under MSYS
* Add comment
Diffstat (limited to 'users/jackhumbert')
0 files changed, 0 insertions, 0 deletions