| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 4211 | Kartik K. Agaram | 2018-02-20 | 1 | -0/+1 |
| | | | | | | | | | Just ran into first issue from using the portable /bin/sh rather than a modern shell: https://stackoverflow.com/questions/15744421/read-command-doesnt-wait-for-input Turn on errexit everywhere. | ||||
| * | 3729 | Kartik K. Agaram | 2017-01-03 | 1 | -7/+1 |
| | | |||||
| * | 3713 - cross-link calls with definitions in html | Kartik K. Agaram | 2016-12-26 | 1 | -0/+9 |