From 3b2e14fc56d7d59b34e86e83664040f4d986781d Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Fri, 29 Oct 2010 21:26:37 -0600 Subject: [PATCH] Setting responsible and DrDr cmdline --- collects/meta/props | 3 +++ 1 file changed, 3 insertions(+) diff --git a/collects/meta/props b/collects/meta/props index a3114ca56b..e2ce0b364d 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -596,6 +596,9 @@ path/s is either such a string or a list of them. "collects/compiler/commands/exe.rkt" drdr:command-line #f "collects/compiler/commands/make.rkt" drdr:command-line (mzc *) "collects/compiler/commands/pack.rkt" drdr:command-line #f +"collects/compiler/demodularizer" responsible (jay) +"collects/compiler/demodularizer/batch.rkt" drdr:command-line #f +"collects/compiler/demodularizer/prims.rkt" drdr:command-line #f "collects/config" responsible (mflatt eli) "collects/data" responsible (ryanc samth) "collects/datalog" responsible (jay)