Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Minor Bash improvements (#951) | Janos Gyerik | 2016-05-11 | 1 | -0/+0 |
| | | | | | | | | * set exec bit on .sh files where it was not * replace legacy `...` with $(...) * use here-document instead of many echos | ||||
* | Rename tool scripts | Simon Brandhof | 2014-10-08 | 1 | -0/+3 |