mgubi b7fed3fdf7 Add mime information to the TeXmacs package (#4867)		2020-05-09 17:18:21 -04:00
..
texmacs.rdef.in	Add mime information to the TeXmacs package (#4867)	2020-05-09 17:18:21 -04:00
x-texmacs.doc.rdef	Add mime information to the TeXmacs package (#4867)	2020-05-09 17:18:21 -04:00
x-texmacs.sty.rdef	Add mime information to the TeXmacs package (#4867)	2020-05-09 17:18:21 -04:00