Jeff LANCE f6da71ad48 add shirtcut for \begin{description} and \end{description}

2016-09-15 00:12:20 +02:00

..

shortcuts.sty

add shirtcut for \begin{description} and \end{description}

2016-09-15 00:12:20 +02:00