| Age | Commit message (Expand) | Author |
|---|---|---|
| 2025-08-26 | Replace "the the " with "the " | Anton Mosich |
| 2025-08-24 | mu: add --listen option for server | Dirk-Jan C. Binnema |
| 2024-07-22 | mu-man: typeset option values differently | Tristan Riehs |
| 2024-07-22 | mu-man: improve typesetting of references | Tristan Riehs |
| 2024-07-18 | mu-man: use more bold text | Tristan Riehs |
| 2024-07-17 | mu-man: improve typesetting of synopses | Tristan Riehs |
| 2024-03-06 | man: fix formatting of `NAME` sections | Jeremy Sowden |
| 2024-03-06 | man: disable captions in tables | Jeremy Sowden |
| 2023-08-06 | man: add performance notes to find/index/server manpages | Dirk-Jan C. Binnema |
| 2023-08-04 | mu-server: implement temp-file optimization | Dirk-Jan C. Binnema |
| 2022-12-30 | man: update man pages | Dirk-Jan C. Binnema |
| 2022-12-29 | man: generate manpages from .org files | Dirk-Jan C. Binnema |
 |
index : mu.git | |
| Unnamed repository; edit this file 'description' to name the repository. |
| summaryrefslogtreecommitdiff |