diff --git a/collects/meta/props b/collects/meta/props index dc8f725591..ca198a5eee 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -1022,7 +1022,7 @@ path/s is either such a string or a list of them. "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 +"collects/tests/drracket/easter-egg.rkt" drdr:timeout 480 "collects/tests/drracket/example-tool.rkt" drdr:command-line (gracket *) "collects/tests/drracket/follow-log.rkt" drdr:command-line (raco "make" *) "collects/tests/drracket/hangman.rkt" responsible (robby matthias) drdr:command-line (gracket *)