3 Commits

Author	SHA1	Message	Date
Ralf Jung	bed48ce5df	bump toolchain	2018-08-14 09:40:00 +02:00
Ralf Jung	1ec8728325	document and fully use rust-toolchain file	2018-08-14 00:58:43 +02:00
bjorn3	7bd20f1b12	Some cleanups	2018-04-13 16:04:57 +02:00