Jeff LANCE 7c65f2d920 dd a new macro to put text in red

2017-01-03 21:57:41 +01:00

..

shortcuts.sty

dd a new macro to put text in red

2017-01-03 21:57:41 +01:00