From f1a68778d288b617a4967b5311524a13b8d61fb0 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Tue, 4 Mar 2008 01:49:43 +0000 Subject: [PATCH] redundant name field svn: r8865 --- collects/typed-scheme/info.ss | 1 - 1 file changed, 1 deletion(-) diff --git a/collects/typed-scheme/info.ss b/collects/typed-scheme/info.ss index e59bcb1832..241c14e36f 100644 --- a/collects/typed-scheme/info.ss +++ b/collects/typed-scheme/info.ss @@ -1,4 +1,3 @@ #lang setup/infotab -(define name "Typed Scheme") (define scribblings '(("typed-scheme.scrbl")))