Joris van der Hoeven e79e501ada Attaching a favicon to an exported webpage		2020-11-12 23:16:12 +00:00
..
html	Attaching a favicon to an exported webpage	2020-11-12 23:16:12 +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