| Age | Commit message (Collapse) | Author | Files | Lines | |
|---|---|---|---|---|---|
| 2023-06-25 | Strip line end white-space. | Neil | 1 | -1/+1 | |
| 2022-09-15 | Remove unnecessary ';'. | Neil | 1 | -1/+1 | |
| 2022-07-31 | Added change history which can display document changes (modified, saved, ...) | Neil | 1 | -0/+422 | |
| in the margin or in the text. | |||||
