| Age | Commit message (Collapse) | Author | Files | Lines | |
|---|---|---|---|---|---|
| 2020-03-17 | Ensure bash shell is used | Gertjan van den Burg | 1 | -0/+2 | |
| We need the "source" command to be available. | |||||
| 2020-03-13 | Makefile improvements | Gertjan van den Burg | 1 | -2/+2 | |
| 2020-03-10 | Initial commit | Gertjan van den Burg | 1 | -0/+71 | |
