From fb579896850e17d770a6795bd427ea88ebf6dbff Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 18 Dec 2013 18:54:34 -0700 Subject: [PATCH] enable scribble tests for DrDr --- pkgs/plt-services/meta/props | 1 - 1 file changed, 1 deletion(-) diff --git a/pkgs/plt-services/meta/props b/pkgs/plt-services/meta/props index 7a0b0e89d2..9db86050d0 100755 --- a/pkgs/plt-services/meta/props +++ b/pkgs/plt-services/meta/props @@ -1450,7 +1450,6 @@ path/s is either such a string or a list of them. "pkgs/scribble-pkgs/scribble-lib/scribble/jfp/lang.rkt" drdr:command-line (mzc *) "pkgs/scribble-pkgs/scribble-lib/scribble/lncs/lang.rkt" drdr:command-line (mzc *) "pkgs/scribble-pkgs/scribble-lib/scribble/run.rkt" drdr:command-line (mzc *) -"pkgs/scribble-pkgs/scribble-test/tests/scribble/main.rkt" drdr:command-line #f "pkgs/scribble-pkgs/scribble-test/tests/scriblib" responsible (mflatt) "pkgs/scribble-pkgs/scribble-text-lib/scribble/text.rkt" responsible (eli) "pkgs/serialize-cstruct-lib" responsible (mflatt)