From b870111e997d5f4f12117f06b7519ca2911d7176 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 original commit: f1a68778d288b617a4967b5311524a13b8d61fb0 --- 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 e59bcb18..241c14e3 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")))