]>
2015-11-17 | Julien Tanguy | Copy benchmark *before* cd-ing into haddock dir | blob | commitdiff | raw |
2015-11-17 | Julien Tanguy | Copy benchmark report to haddock | blob | commitdiff | raw | diff to current |
2015-09-05 | Julien Tanguy | Silence git messages in pushdoc.sh | blob | commitdiff | raw | diff to current |
2015-09-05 | Julien Tanguy | Fix typo in secure var | blob | commitdiff | raw | diff to current |
2015-09-05 | Julien Tanguy | Make travis push haddock to gh-pages | blob | commitdiff | raw | diff to current |