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