Nick Mathewson bf04641c68 Disable clippy::unlinlined-format-args ... This warning kind of snuck up on us! (See #748) For now, let's disable it. (I've cleaned it up in a couple of examples, since those are meant to be more idiomatic and user-facing.) Closes #748.		2023-01-27 08:27:47 -05:00
..
example_int.rs	Disable clippy::unlinlined-format-args	2023-01-27 08:27:47 -05:00