about summary refs log tree commit diff
path: root/doc/manual/advanced-topics/advanced-topics.xml
AgeCommit message (Expand)AuthorFilesLines
2019-08-07 Merge pull request #2995 from tweag/post-build-hookEelco Dolstra1-0/+1
2019-08-02 Add a post-build-hookregnat1-0/+1
2019-07-19 docs: document balancing cores and max-jobsGraham Christensen1-0/+1
2019-05-12 build: run diff-hook under --check and document diff-hookGraham Christensen1-0/+1
2018-08-31 docs: Add IDs to important sectionsGraham Christensen1-0/+1
2014-12-14 Rename filesEelco Dolstra1-0/+10