Jeff LANCE 6174f6b98d Add a new shortcut for a font.		2018-11-04 10:15:58 +01:00
..
commun.sty	Add a new shortcut for a font.	2018-11-04 10:15:58 +01:00