From ab8d99f5b499ed398810f2b72f1caee82f9b0bf5 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 3 Jun 2009 19:51:41 +0000 Subject: [PATCH] remove accidentally added style change svn: r15070 --- collects/scribble/scribble.tex | 2 -- 1 file changed, 2 deletions(-) diff --git a/collects/scribble/scribble.tex b/collects/scribble/scribble.tex index e5e9b8eb97..305df9e168 100644 --- a/collects/scribble/scribble.tex +++ b/collects/scribble/scribble.tex @@ -77,8 +77,6 @@ \newcommand{\bibentry}[1]{\parbox[t]{0.8\linewidth}{#1}} -\renewcommand{\Scribtexttt}[1]{{\texttt{\textbf{#1}}}} - \newenvironment{bigtabular}{\vspace{0ex} \begin{stabular}}{\end{stabular}