diff --git a/collects/meta/props b/collects/meta/props index f731dac699..f002d64de9 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -1010,7 +1010,6 @@ path/s is either such a string or a list of them. "collects/tests/data" responsible (ryanc) "collects/tests/datalog" responsible (jay) "collects/tests/db" responsible (ryanc) -"collects/tests/db/programs/sl-gc-crash.rkt" drdr:command-line #f "collects/tests/db/programs/web-test.rkt" drdr:command-line #f "collects/tests/deinprogramm" responsible (sperber) "collects/tests/drracket" responsible (robby) drdr:random #t