summaryrefslogtreecommitdiffstats
path: root/scripts/multi_prove.sh
Commit message (Collapse)AuthorAgeFilesLines
* pyabc scripts: use -q instead of -c in scripts to prevent echoing the ↵Baruch Sterin2013-12-071-1/+1
| | | | command to the command line.
* script changes for HWMCC13 (finally submitted version)Baruch Sterin2013-10-081-0/+14