Yuki Okushi 39df3d6ef2 Document error-pattern header (#989) ... * Document `error-pattern` header * Address some reviews		2020-12-12 16:06:30 +01:00
..
doc/rustc-dev-guide	Document error-pattern header (#989)	2020-12-12 16:06:30 +01:00