From a89963d0a8916e3a1f78784bb75fa5b45b19c9ff Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 15 Nov 2012 06:34:15 -0700 Subject: [PATCH] remove unneeded "info.rkt" It's not needed, and it also overrides the enclosing `omit-compiled-paths' specification, which in turn triggers a failure of the "zo-path.rkt" test. --- collects/tests/planet2/info.rkt | 3 --- 1 file changed, 3 deletions(-) delete mode 100644 collects/tests/planet2/info.rkt diff --git a/collects/tests/planet2/info.rkt b/collects/tests/planet2/info.rkt deleted file mode 100644 index c47663c18b..0000000000 --- a/collects/tests/planet2/info.rkt +++ /dev/null @@ -1,3 +0,0 @@ -#lang setup/infotab - -(define compile-omit-paths '("test-pkgs"))