From dd9a046950855973207bbade8b014a7f5bb979ee Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 28 Aug 2013 14:53:49 -0500 Subject: [PATCH] fix deinprogramm props based on new location --- pkgs/plt-services/meta/props | 13 ++++++------- 1 file changed, 6 insertions(+), 7 deletions(-) diff --git a/pkgs/plt-services/meta/props b/pkgs/plt-services/meta/props index e7ae616e75..541c78fd9c 100755 --- a/pkgs/plt-services/meta/props +++ b/pkgs/plt-services/meta/props @@ -669,12 +669,12 @@ path/s is either such a string or a list of them. "pkgs/db-pkgs/db-lib/db/private/odbc/main.rkt" drdr:command-line #f "pkgs/db-pkgs/db-test/tests/db/programs/web-test.rkt" drdr:command-line #f "pkgs/deinprogramm" responsible (sperber) -"pkgs/deinprogramm/convert-explicit.scm" drdr:command-line #f -"pkgs/deinprogramm/define-record-procedures.scm" drdr:command-line #f -"pkgs/deinprogramm/line3d.scm" drdr:command-line #f -"pkgs/deinprogramm/quickcheck/quickcheck.scm" drdr:command-line #f -"pkgs/deinprogramm/quickcheck/random.scm" drdr:command-line #f -"pkgs/deinprogramm/run-dmda-code.rkt" drdr:command-line (mzc *) +"pkgs/deinprogramm/deinprogramm/convert-explicit.scm" drdr:command-line #f +"pkgs/deinprogramm/deinprogramm/define-record-procedures.scm" drdr:command-line #f +"pkgs/deinprogramm/deinprogramm/line3d.scm" drdr:command-line #f +"pkgs/deinprogramm/deinprogramm/quickcheck/quickcheck.scm" drdr:command-line #f +"pkgs/deinprogramm/deinprogramm/quickcheck/random.scm" drdr:command-line #f +"pkgs/deinprogramm/deinprogramm/run-dmda-code.rkt" drdr:command-line (mzc *) "pkgs/distributed-places-pkgs" responsible (tewk) "pkgs/distributed-places-pkgs/distributed-places-lib/racket/place/distributed/examples/hello-world.rkt" drdr:command-line #f "pkgs/distro-build" responsible (mflatt) @@ -869,7 +869,6 @@ path/s is either such a string or a list of them. "pkgs/htdp-pkgs/htdp-lib/stepper" responsible (clements) "pkgs/htdp-pkgs/htdp-lib/teachpack" responsible (matthias) "pkgs/htdp-pkgs/htdp-lib/teachpack/balls.ss" drdr:command-line (mzc *) -"pkgs/htdp-pkgs/htdp-lib/teachpack/deinprogramm" responsible (sperber) "pkgs/htdp-pkgs/htdp-lib/teachpack/htdp/graphing.rkt" drdr:command-line (mzc *) "pkgs/htdp-pkgs/htdp-lib/test-engine" responsible (kathyg) "pkgs/htdp-pkgs/htdp-test/2htdp/tests/batch-io-xexpr.rkt" drdr:command-line (raco "make" *)