Renamed the file and title of the diagnostics chapter.#323

Merged

mark-i-m merged 1 commit intorust-lang:masterfrom

Julian-Wollersberger:rename_diagnostics

May 17, 2019

Commits on May 17, 2019

Renamed the file and title of the diagnostics chapter.
Julian-Wollersberger
committed