aboutsummaryrefslogtreecommitdiff
path: root/build
AgeCommit message (Expand)AuthorFilesLines
2021-07-25Remove trailing spaces in Makefile (#692)Axel Heider1-4/+4
2018-05-23Build PDFs of the specs when master branch is pushedAndrew Waterman1-1/+1
2017-06-12Fix word case, typos and word choicePaul Wise1-2/+2
2017-02-01Reorganize directory structureAndrew Waterman2-0/+75