Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2019-08-07 | Merge pull request #2995 from tweag/post-build-hook | Eelco Dolstra | 1 | -0/+1 |
2019-08-02 | Add a post-build-hook | regnat | 1 | -0/+1 |
2019-07-19 | docs: document balancing cores and max-jobs | Graham Christensen | 1 | -0/+1 |
2019-05-12 | build: run diff-hook under --check and document diff-hook | Graham Christensen | 1 | -0/+1 |
2018-08-31 | docs: Add IDs to important sections | Graham Christensen | 1 | -0/+1 |
2014-12-14 | Rename files | Eelco Dolstra | 1 | -0/+10 |