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