This repository was archived by the owner on Mar 14, 2023. It is now read-only.

Rename diagnostics.rs to error-codes.rs#211

Merged

pietroalbini merged 1 commit intorust-lang:masterfrom

GuillaumeGomez:rename-diagnostics

Apr 26, 2019

Commits on Apr 20, 2019

Rename diagnostics.rs to error-codes.rs
GuillaumeGomez
committed