Marcus Hoffmann 14fcfa7890 Revert "convert MediaWiki bold to HTML bold" ... This reverts commit 85952cb05d.		2018-12-24 12:34:11 +01:00
..
description.txt	Revert "convert MediaWiki bold to HTML bold"	2018-12-24 12:34:11 +01:00
name.txt
summary.txt