deleted an unused user environment

This commit is contained in:
gdr 1997-11-28 17:10:14 +00:00
parent 30c2697ed0
commit 56e2923d4c

View File

@ -1,7 +1,7 @@
% %
% GNO Kernel Reference Manual % GNO Kernel Reference Manual
% %
% $Id: kern.tex,v 1.1 1997/11/24 05:07:27 gdr Exp $ % $Id: kern.tex,v 1.2 1997/11/28 17:10:14 gdr Exp $
% %
\documentclass{report} \documentclass{report}
@ -23,24 +23,6 @@
\parindent=0pt \parindent=0pt
\parskip=1pc \parskip=1pc
%
% boldface list
%
%
% typewriter list
%
\newenvironment{ttlist}[1]{%
\begin{list}{}{%
\settowidth{\labelwidth}{\texttt{#1}}
\setlength{\leftmargin}{\labelwidth}
\addtolength{\leftmargin}{\labelsep}
\setlength{\parsep}{0.5ex plus0.2ex minus0.2ex}
\setlength{\itemsep}{0.3ex}
\renewcommand{\makelabel}[1]{\texttt{##1\hfill}}}}
{\end{list}}
% %
% CHAPTER: Introduction % CHAPTER: Introduction
% %