1
0
mirror of https://github.com/emilk/egui.git synced 2026-09-01 06:10:06 -04:00

#![allow(clippy::float_cmp)] everywhere

it has always been an annoyance, never a help
This commit is contained in:
Emil Ernerfeldt
2021-05-09 14:00:53 +02:00
parent 6ad6f56cb1
commit fb5176c133
14 changed files with 7 additions and 24 deletions

View File

@@ -59,6 +59,7 @@
nonstandard_style,
rust_2018_idioms
)]
#![allow(clippy::float_cmp)]
#![allow(clippy::manual_range_contains)]
pub use egui; // Re-export for user convenience