Xavi Artigas 0e46ecb003 mono-docs: Nicer formatting for notes ... This has never been tested because so far EO "Note:" tags are only recognized when they appear at the beginning of a comment block. It turns out the note already includes the "Note:" prefix so we were adding it twice. This patch removes one of the prefixes and used a nicer formatting. Also works for "Warning:", "Remark:" and "TODO:".		2019-12-12 16:25:43 +01:00
..
mono	mono-docs: Nicer formatting for notes	2019-12-12 16:25:43 +01:00