Joris van der Hoeven 86dbe766ce Fix problem		2019-08-17 04:53:28 +00:00
..
html	Extra possibilities to customize the HTML export	2019-05-09 13:40:10 +00:00
latex	Fix typos	2019-01-16 16:04:56 +00:00
new	Fix problem	2019-08-17 04:53:28 +00:00
man-convert.de.tm	Rename	2011-08-28 07:59:50 +00:00
man-convert.en.tm	Reorganize Tools menu	2015-04-09 09:59:20 +00:00
man-convert.es.tm	Rename	2011-08-28 07:59:50 +00:00
man-convert.fr.tm	Rename	2011-08-28 07:59:50 +00:00
man-convert.it.tm	Rename	2011-08-28 07:59:50 +00:00