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