Aleksey Kladov af4e75533f Rename declaration_name -> display_name ... Declaration names sounds like a name of declaration -- something you can use for analysis. It empathically isn't, and is just a label displayed in various UI. It's important not to confuse the two, least we accidentally mix semantics with UI (I believe, there's already a case of this in the FamousDefs at least).		2020-10-20 15:38:11 +02:00
..
src	Rename declaration_name -> display_name	2020-10-20 15:38:11 +02:00
Cargo.toml	Tease apart orthogonal concerns in markdown link rewriting	2020-08-26 20:24:00 +02:00