diff --git a/collects/meta/props b/collects/meta/props index 73847addb3..35edcd648c 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -1027,6 +1027,7 @@ path/s is either such a string or a list of them. "collects/tests/drracket/syncheck-test.rkt" drdr:command-line (gracket *) drdr:timeout 200 "collects/tests/drracket/teaching-lang-coverage.rkt" responsible (robby matthias) drdr:command-line (gracket *) "collects/tests/drracket/teaching-lang-save-file.rkt" responsible (robby matthias) drdr:command-line (gracket *) +"collects/tests/drracket/teaching-lang-sharing-modules.rkt" drdr:timeout 800 "collects/tests/drracket/teachpack.rkt" responsible (robby matthias) drdr:command-line (gracket *) "collects/tests/drracket/test-engine-test.rkt" responsible (sperber) drdr:command-line (gracket *) drdr:timeout 480 "collects/tests/eli-tester.rkt" responsible (eli)