Benjamin Sago 002080cde8 Clippy pedantic lints ... This commit fixes a couple of Clippy warnings, and adds the list of lints we're OK with. It does raise some important warnings, such as those to do with casting, which aren't allowed so they can be fixed later.		2020-10-13 01:46:17 +01:00
..
feature	Clippy pedantic lints	2020-10-13 01:46:17 +01:00
dir_action.rs	Better referencing	2020-10-10 15:30:19 +01:00
dir.rs	IO import changes	2020-10-13 00:54:06 +01:00
fields.rs	Clippy pedantic lints	2020-10-13 01:46:17 +01:00
file.rs	Clippy pedantic lints	2020-10-13 01:46:17 +01:00
filter.rs	New set of lints, and Rust 2018 idioms	2020-10-13 01:36:41 +01:00
mod.rs	Batch source formatting	2020-10-10 20:02:55 +01:00