From a826b8462e5154cf788d349cea7bf8475341c395 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 14 Oct 2010 14:54:02 -0400 Subject: [PATCH] disable this file since it doesn't terminate --- collects/meta/props | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/meta/props b/collects/meta/props index fab74701d0..74ed3389e3 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -1339,7 +1339,7 @@ path/s is either such a string or a list of them. "collects/teachpack/2htdp/universe.ss" drdr:command-line (gracket-text "-t" *) "collects/teachpack/balls.ss" drdr:command-line (mzc *) "collects/teachpack/deinprogramm/image.ss" drdr:command-line (gracket-text "-t" *) -"collects/teachpack/deinprogramm/image2.ss" drdr:command-line (gracket "-t" *) +"collects/teachpack/deinprogramm/image2.ss" drdr:command-line #f "collects/teachpack/deinprogramm/line3d.ss" drdr:command-line (gracket-text "-t" *) "collects/teachpack/deinprogramm/sound.ss" drdr:command-line (gracket-text "-t" *) "collects/teachpack/deinprogramm/turtle.ss" drdr:command-line (gracket-text "-t" *)