summaryrefslogtreecommitdiff
path: root/util/mma/mma_get_result.sh
AgeCommit message (Expand)Author
2018-11-17treewide: use /usr/bin/env where appropriateYegor Timoshenko
2016-01-13tree: drop last paragraph of GPL copyright header from new filesMartin Roth
2015-11-20util/mma: Add MMA scripts for setup and getting resultsPratik Prajapati