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