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