Philipp Hansch b778f530cc CI: Remove workaround for mdBook issue ...

rust-lang/mdbook#789 has been fixed and this was working locally without
the `ignore-url`.

2020-01-27 07:27:17 +01:00

..

after-success.sh

add ci

2018-08-10 00:00:41 -05:00

install.sh

Replace nursery links with rust-lang links

2020-01-27 07:11:13 +01:00

script.sh

CI: Remove workaround for mdBook issue

2020-01-27 07:27:17 +01:00