| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 5799 - move html-generation to `tools/` directory | Kartik Agaram | 2019-12-07 | 1 | -4/+0 |
| | | |||||
| * | 4211 | Kartik K. Agaram | 2018-02-20 | 1 | -0/+2 |
| | | | | | | | | | 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 | -1/+1 |
| | | |||||
| * | 3713 - cross-link calls with definitions in html | Kartik K. Agaram | 2016-12-26 | 1 | -0/+2 |