Oliver Middleton 0b2746c8db rustdoc: Improve playground run buttons ...

The main change is to stop using javascript to generate the URLs and use
rustdoc instead.

This also adds run buttons to the error index examples.

2016-10-15 18:32:03 +01:00

..

clean

…

html

rustdoc: Improve playground run buttons

2016-10-15 18:32:03 +01:00

passes

…

build.rs

…

Cargo.toml

…

core.rs

…

doctree.rs

…

externalfiles.rs

Remove unnecessary pub function classifier.

2016-10-09 00:17:50 -04:00

fold.rs

…

lib.rs

Stabilise ?

2016-10-12 08:40:22 +13:00

markdown.rs

rustdoc: Improve playground run buttons

2016-10-15 18:32:03 +01:00

plugins.rs

…

test.rs

rustdoc: Improve playground run buttons

2016-10-15 18:32:03 +01:00

visit_ast.rs

…

visit_lib.rs

…