Iñaki Garay d38f93b7d2 Add mdbook-toc, markers, and documentation (#1028) ... * Add mdbook-toc to travis, book.toml and documentation * Add toc markers * Whitespace cleanup and some punctuation * Addressed comments		2021-01-20 14:33:11 -03:00
..
rustc-dev-guide	Add mdbook-toc, markers, and documentation (#1028)	2021-01-20 14:33:11 -03:00