Jeremy Stucki 6ae80cf23f Remove needless lifetimes		2019-07-03 10:01:01 +02:00
..
mod.rs	Remove needless lifetimes	2019-07-03 10:01:01 +02:00
type_names.rs	Run rustfmt --file-lines ... for changes from previous commits.	2019-06-14 18:58:32 +03:00