summaryrefslogtreecommitdiffstats
path: root/scripts/multi_prove.sh
Commit message (Expand)AuthorAgeFilesLines
* script changes for HWMCC13 (finally submitted version)Baruch Sterin2013-10-081-0/+14