11 Commits

Author	SHA1	Message	Date
Ralf Jung	fedca29e69	tweak wording	2020-04-08 15:56:59 +02:00
Ralf Jung	b1009c4aa5	more editing	2020-04-08 12:33:14 +02:00
Ralf Jung	925465ebab	more editing for CONTRIBUTING guide	2020-04-08 11:43:19 +02:00
Ralf Jung	ac3a24673c	wording	2020-04-06 09:37:15 +02:00
Ralf Jung	86c57a8490	mention ./miri build	2020-04-06 09:33:36 +02:00
Ralf Jung	8948a29a4c	adjust for librustc rename; reduce 'extern crate' to rustc crates	2020-03-30 11:07:32 +02:00
Ralf Jung	e1b654f09a	mention cross-running in docs	2020-03-22 08:55:53 +01:00
Ralf Jung	f838410f49	toolchain -> rustup-toolchain	2019-12-01 10:20:16 +01:00
Ralf Jung	c9b3b688d5	add toolchain mgmt script	2019-11-30 10:08:41 +01:00
Ralf Jung	557836b83e	adjust README for rustc-dev	2019-10-24 13:12:01 +02:00
Ralf Jung	1fb934b6cf	add CONTRIBUTING guide	2019-09-14 13:42:32 +02:00