chiark / gitweb /
Delete everything only needed for standalone building.
[runlisp] / lgpl-2.0.tex
index 02b0d738cfb53d37af3840a0f4a4203ac31a7dd3..e7f5c74dc43a8fe631adaa8b3fe9609146763552 100644 (file)
@@ -170,7 +170,6 @@ Public License rather than by this special one.
 \end{center}
 
 
-%\renewcommand{\theenumi}{\alpha{enumi}}
 \begin{enumerate}
 
 \addtocounter{enumi}{-1}