Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Copy benchmark report to haddock | Julien Tanguy | 2015-11-17 | 1 | -0/+3 |
* | Silence git messages in pushdoc.sh | Julien Tanguy | 2015-09-05 | 1 | -4/+10 |
* | Fix typo in secure var | Julien Tanguy | 2015-09-05 | 1 | -0/+1 |
* | Make travis push haddock to gh-pages | Julien Tanguy | 2015-09-05 | 1 | -0/+24 |