From 52e2b3140818da9d7c0f8f908ea4b69aec1f552f Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Wed, 7 Apr 2010 13:44:46 +0000 Subject: [PATCH] new drdr props from Matthew svn: r18751 --- collects/meta/props | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/collects/meta/props b/collects/meta/props index a3436dfe85..99247a72c7 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -480,6 +480,10 @@ properties, intended to be used by meta tools. In these functions, `path' is a "collects/browser/tool.ss" drdr "mred-text -t $path" "collects/combinator-parser" responsible (kathyg) "collects/compiler" responsible (mflatt) +"collects/compiler/commands/c-ext.ss" drdr "" +"collects/compiler/commands/exe-dir.ss" drdr "" +"collects/compiler/commands/exe.ss" drdr "" +"collects/compiler/commands/pack.ss" drdr "" "collects/defaults" responsible (robby) "collects/deinprogramm" responsible (sperber) "collects/deinprogramm/contract/contract-test-display.ss" drdr "mred-text -t $path" @@ -1051,6 +1055,8 @@ properties, intended to be used by meta tools. In these functions, `path' is a "collects/redex/tests/term-test.ss" drdr "mzc $path" "collects/repos-time-stamp" responsible (eli) "collects/repos-time-stamp/time-stamp.ss" drdr "mred-text -t $path" +"collects/rico/main.ss" drdr "" +"collects/rico/rico.ss" drdr "" "collects/scheme/contract/private/arrow.ss" responsible (robby) "collects/scheme/contract/private/base.ss" responsible (robby) "collects/scheme/contract/private/ds-helpers.ss" responsible (robby)