| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 4221 - more docs about build process | Kartik K. Agaram | 2018-03-13 | 1 | -0/+14 |
| | | |||||
| * | 4219 - add an even simpler build script | Kartik K. Agaram | 2018-03-13 | 1 | -32/+7 |
| | | |||||
| * | 4217 - build alternative: stop at any stage | Kartik K. Agaram | 2018-03-13 | 1 | -0/+182 |
| This gives us the equivalent of make targets. | |||||