John Sundell c73767a0bc HTMLOutputFormat: Escape < and > characters
This patch makes `HTMLOutputFormat` correctly escape all < and > characters
that occur in source code. Otherwise, a web browser rendering the resulting
HTML will interpret those characters as tags.
2018-08-27 00:14:48 +02:00
..
2018-08-24 18:42:07 +02:00
2018-08-24 18:42:07 +02:00
2018-08-24 18:42:07 +02:00
2018-08-24 18:42:07 +02:00