diff options
| author | Chris Denton <chris@chrisdenton.dev> | 2023-11-21 22:59:02 +0000 |
|---|---|---|
| committer | Chris Denton <chris@chrisdenton.dev> | 2023-11-22 00:14:46 +0000 |
| commit | ad12be3668de26dc1b35bb374e93b2bab58d02ae (patch) | |
| tree | 0cf1ec21f957ff53ff016948f7102c91675e051c /src/tools/miri/genmc-sys/src_cpp | |
| parent | 2f8d81f9dbac6b8df982199f69da04a4c8357227 (diff) | |
| download | rust-ad12be3668de26dc1b35bb374e93b2bab58d02ae.tar.gz rust-ad12be3668de26dc1b35bb374e93b2bab58d02ae.zip | |
allow clippy style in windows/c.rs
We intentional use the Windows API style here.
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp')
0 files changed, 0 insertions, 0 deletions