Jeff LANCE 1473e75a4f Delete the macro shortcuts previously defined as they've moved to shortcuts extension.		2016-05-10 23:19:42 +02:00
..
commun.sty	Delete the macro shortcuts previously defined as they've moved to shortcuts extension.	2016-05-10 23:19:42 +02:00