aboutsummaryrefslogtreecommitdiff
path: root/configure
AgeCommit message (Expand)AuthorLines
2018-02-15Backup file ending with ~ is also deleted in configureMohammad Akhlaghi-2/+3
2018-02-15Configure script starts with bin/bash shebangMohammad Akhlaghi-1/+1
2018-02-15Gnuastro's memory mapping is now a local variableMohammad Akhlaghi-54/+130
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