1
0
mirror of https://github.com/emilk/egui.git synced 2026-06-26 22:53:14 -04:00

silence clippy warning

This commit is contained in:
Emil Ernerfeldt
2020-04-25 10:50:51 +02:00
parent b407a65e87
commit 299cc76fcf

View File

@@ -1,5 +1,5 @@
#![deny(warnings)]
#[allow(clippy::single_match)]
use std::time::{Duration, Instant};
use {