aboutsummaryrefslogtreecommitdiff
path: root/doc/manual/src/package-management
AgeCommit message (Expand)Author
2021-11-13fix many doc typosKevin Amado
2021-04-23Replace the trailing markdown spaces by a backslashregnat
2020-07-31Enable syntax highlightingEelco Dolstra
2020-07-24Fix internal linksEelco Dolstra
2020-07-24Fix some dangling referencesEelco Dolstra
2020-07-24Get rid of footnotesEelco Dolstra
2020-07-23<replaceable> -> <emphasis>Eelco Dolstra
2020-07-23Get rid of <figure>Eelco Dolstra
2020-07-23Get rid of <example>Eelco Dolstra
2020-07-23ReconvertEelco Dolstra
2020-07-23Pandoc conversionEelco Dolstra