| Age | Commit message (Expand) | Author |
|---|---|---|
| 2025-09-08 | rename 'mu label' -> 'mu labels' | Dirk-Jan C. Binnema |
| 2025-08-15 | man: update man-pages (label / typos) | Dirk-Jan C. Binnema |
| 2024-07-22 | mu-man: typeset file names using underlining | 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-03-06 | man: change quoting style | Jeremy Sowden |
| 2024-03-06 | man: fix formatting of `NAME` sections | Jeremy Sowden |
| 2023-08-19 | man: fix formatting of some man-page references | Jeremy Sowden |
| 2022-12-30 | man: update man pages | Dirk-Jan C. Binnema |
 |
index : mu.git | |
| Unnamed repository; edit this file 'description' to name the repository. |
| summaryrefslogtreecommitdiff |