Grzegorz 16881390e1 removing redundant closures in the whole project		2019-02-10 13:35:44 +01:00
..
driver.rs	removing redundant closures in the whole project	2019-02-10 13:35:44 +01:00
lib.rs	Remove all copyright license headers	2019-01-08 21:46:39 +01:00
main.rs	Drive-by cleanups to cargo-clippy. No functional change.	2019-02-02 11:43:21 -08:00