aboutsummaryrefslogtreecommitdiff
path: root/configure
AgeCommit message (Expand)AuthorLines
2018-02-15Choice to build final PDF removed from LOCAL settingsMohammad Akhlaghi-2/+2
2018-02-14Sanity checks added, local settings now in LOCAL.mk.inMohammad Akhlaghi-26/+31
2018-02-07First commit to the reproduction pipeline templateMohammad Akhlaghi-0/+88