Nick Fitzgerald 8fea7054b9 Use write_char for writing padding characters ... Removes some unsafe *and* saves almost half a kilobyte of code size.		2019-02-08 10:07:08 +01:00
..
rt	Remove licenses	2018-12-25 21:08:33 -07:00
builders.rs	Remove licenses	2018-12-25 21:08:33 -07:00
float.rs	Remove licenses	2018-12-25 21:08:33 -07:00
mod.rs	Use write_char for writing padding characters	2019-02-08 10:07:08 +01:00
num.rs	Also de-duplicate 32- and 64-bit number formatting on wasm32	2019-02-08 10:07:08 +01:00