Daniel Egger 95b768e425 Attempt to fix mdbook v0.2.2 issue by using v0.2.1 ...

v0.2.2 was just released but does not include the relevant packages yet so install.sh fails

2018-10-20 15:16:14 +02:00

..

after-success.sh

add ci

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

install.sh

Attempt to fix mdbook v0.2.2 issue by using v0.2.1

2018-10-20 15:16:14 +02:00

script.sh

run linkchecker simulating the bookshelf layout

2018-09-26 16:55:12 +02:00