Age | Commit message (Expand) | Author |
---|---|---|
2018-11-17 | treewide: use /usr/bin/env where appropriate | Yegor Timoshenko |
2016-01-13 | tree: drop last paragraph of GPL copyright header from new files | Martin Roth |
2015-11-20 | util/mma: Add MMA scripts for setup and getting results | Pratik Prajapati |