diff --git a/collects/meta/props b/collects/meta/props index 86405e27b9..13a921f0c3 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -1005,6 +1005,7 @@ 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/web-test.rkt" drdr:command-line #f "collects/tests/deinprogramm" responsible (sperber) "collects/tests/drracket" responsible (robby) drdr:random #t "collects/tests/drracket/easter-egg.rkt" drdr:timeout 240