Igor Galić 732f514da7 Refactor with the help of Clippy (#462) ... We add clippy as our build — also rectifying the missing `plume-cli` build! In the next step we follow clippy's advise and fix some of the "simple" mistakes in our code, such as style or map usage. Finally, we refactor some hard bits that need extraction of new types, or refactoring of function call-types, especially those that thread thru macros, and, of course functions with ~15 parameters should probably be rethought.		2019-03-19 14:37:56 +01:00
..
details.rs.html	Refactor with the help of Clippy (#462)	2019-03-19 14:37:56 +01:00
new.rs.html	Refactor with the help of Clippy (#462)	2019-03-19 14:37:56 +01:00