aboutsummaryrefslogtreecommitdiff
path: root/reproduce/src/bash
AgeCommit message (Expand)AuthorLines
2019-02-06Wrapper script for multiple attempts at downloading inputsMohammad Akhlaghi-0/+108
2019-01-23Removing files ending with a ~ in the git checkout hookMohammad Akhlaghi-0/+14
2019-01-23Corrections in metastore's git hooksMohammad Akhlaghi-2/+2
2019-01-22Using fork of metastore to work when getpwuid isn't usableMohammad Akhlaghi-3/+3
2019-01-21Metastore package now installed to allow keeping file meta-dataMohammad Akhlaghi-0/+80