Dimitris Apostolou
|
c34cc5e488
|
Fix typos
|
2021-11-03 18:11:20 +02:00 |
|
Eelco Dolstra
|
1d0a7b54fa
|
Enable syntax highlighting
|
2020-07-31 15:43:25 +02:00 |
|
Eelco Dolstra
|
da3d776cb9
|
Fix some dangling references
|
2020-07-24 14:31:33 +02:00 |
|
Eelco Dolstra
|
802150f987
|
<replaceable> -> <emphasis>
Pandoc doesn't know <replaceable> so let's force it to be rendered as
italics.
|
2020-07-23 18:27:20 +02:00 |
|
Eelco Dolstra
|
13df1faf25
|
Get rid of callouts since Markdown doesn't support them
|
2020-07-23 18:27:20 +02:00 |
|
Eelco Dolstra
|
ef606760ab
|
Pandoc conversion
|
2020-07-23 18:26:48 +02:00 |
|