chiark / gitweb /
Delete everything only needed for standalone building.
[runlisp] / lgpl-2.1.tex
index 6440c41376cd0349f391aaabd8eccf785680dfc4..710fcb95369ab45214674766d91237177793cbb3 100644 (file)
@@ -180,7 +180,6 @@ library in order to run.
 \end{center}
 
 
-%\renewcommand{\theenumi}{\alpha{enumi}}
 \begin{enumerate}
 
 \addtocounter{enumi}{-1}