1
0
mirror of https://github.com/emilk/egui.git synced 2026-08-30 13:20:05 -04:00

clippy fixes

This commit is contained in:
Emil Ernerfeldt
2021-01-02 16:31:45 +01:00
parent 2b2b9d5d28
commit 948d8ec6ed
7 changed files with 13 additions and 6 deletions

View File

@@ -7,7 +7,7 @@
#![forbid(unsafe_code)]
#![cfg_attr(not(debug_assertions), deny(warnings))] // Forbid warnings in release builds
#![warn(clippy::all, rust_2018_idioms)]
#![allow(clippy::single_match)]
#![allow(clippy::manual_range_contains, clippy::single_match)]
mod backend;
#[cfg(feature = "http")]