1
0
mirror of https://github.com/emilk/egui.git synced 2026-08-29 04:40:03 -04:00

Fix some clippy 1.75 lints (#3754)

This commit is contained in:
Emil Ernerfeldt
2023-12-30 11:23:21 +01:00
committed by GitHub
parent 4487f8ff9f
commit 9951fe0d36
6 changed files with 6 additions and 8 deletions

View File

@@ -1,6 +1,7 @@
//! Demo app for egui
#![cfg_attr(not(debug_assertions), windows_subsystem = "windows")] // hide console window on Windows in release
#![allow(clippy::never_loop)] // False positive
// When compiling natively:
fn main() -> Result<(), eframe::Error> {