| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-01-18 | doxygen work | Christian Grothoff |
| 2020-01-17 | doxygen fixes | Christian Grothoff |
| 2019-10-31 | tighten formatting rules | Christian Grothoff |
| 2019-08-25 | re-format code | Florian Dold |
| 2019-04-10 | Make the API-agnostic iterator work. | Marcello Stanisci |
| 2019-04-08 | /history-range. | Marcello Stanisci |
