Remove undocumented page - #539

Merged

ehuss merged 4 commits into

rust-lang:masterfrom

Havvy:remove-undoc

Mar 17, 2019

Commits on Mar 17, 2019

Remove undocumented page
Havvy
authored and
ehuss
committed
defb41c
Intro points to github issues instead of undoc page
Havvy
authored and
ehuss
committed
e693d5e
Remove unused link ref
Havvy
authored and
ehuss
committed
6b14d68
Capitalize GitHub
ehuss
and
Havvy
committed
d07dadb