diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2024-10-18 19:23:00 +0200 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2024-11-06 17:12:17 +0100 |
| commit | 5b1b5a8ae40d3fcbc3f9ede3fe9227064f9a480f (patch) | |
| tree | 14391d8ef0823e26780ebbfe9dc6fdd82e70d593 /scripts/ci | |
| parent | c2988dfbb0ecd30496625f8fb1afc52a74304259 (diff) | |
rust: make rustfmt optional
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'scripts/ci')
0 files changed, 0 insertions, 0 deletions