Ralf Jung c775c2fe96 libcore: remove unneeded allow(deprecated)		2019-01-28 10:39:49 +01:00
..
mod.rs	Remove licenses	2018-12-25 21:08:33 -07:00
sip.rs	libcore: remove unneeded allow(deprecated)	2019-01-28 10:39:49 +01:00