diff --git a/collects/meta/props b/collects/meta/props index caab399303..330d7376f7 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -813,7 +813,7 @@ path/s is either such a string or a list of them. "collects/meta/images/mkheart.rkt" drdr:command-line #f "collects/meta/images/taking-screenshots/racket-widget.scm" drdr:command-line #f "collects/meta/planet2-index" responsible (jay) -"collects/meta/planet2-index/official/main.rkt" drdr:command-line (raco "test" *) +"collects/meta/planet2-index/official/main.rkt" drdr:command-line #f "collects/meta/planet2-index/planet-compat/main.rkt" drdr:command-line (raco "test" *) "collects/meta/props" responsible (eli jay) drdr:command-line (racket "-um" * "verify") "collects/meta/web" drdr:command-line #f