Jeff LANCE 7fb0ffa89d define a new font shortcut		2016-11-17 23:09:58 +01:00
..
commun.sty	define a new font shortcut	2016-11-17 23:09:58 +01:00