aboutsummaryrefslogtreecommitdiff
path: root/doc/manual/src/glossary.md
AgeCommit message (Collapse)Author
2021-04-23Replace the trailing markdown spaces by a backslashregnat
They are equivalent according to <https://spec.commonmark.org/0.29/#hard-line-breaks>, and the trailing spaces tend to be a pain (because the make git complain, editors tend to want to remove them − the `.editorconfig` actually specifies that − etc..).
2020-07-24Fix some dangling referencesEelco Dolstra
2020-07-23Pandoc conversionEelco Dolstra