Werner Lemberg 7ec9598f47 More comment formattings.
This helps in the forthcoming transition to markdown syntax.
2018-08-06 17:35:14 +02:00
..
2018-08-06 17:35:14 +02:00