Andre Bogus dfd6a9b0d3 style adaptations ... these were introduced following suggestions from https://crates.io/crate/clippy		2016-05-13 22:26:48 +02:00
..
content	Remove unused imports	2016-02-24 15:16:12 +01:00
header	style adaptations	2016-05-13 22:26:48 +02:00
mod.rs	Initialize structure for header builtins	2016-02-03 16:39:04 +01:00