From 24725f8366df48f07bb9b40f26a7be813c0d09bb Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sun, 23 Dec 2012 06:43:54 -0700 Subject: [PATCH] props: matthias responsible for `realm' --- collects/meta/props | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/meta/props b/collects/meta/props index bbe48a96fc..233aaeb492 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -899,6 +899,7 @@ path/s is either such a string or a list of them. "collects/raco/raco.rkt" drdr:command-line #f "collects/reader" responsible (mflatt) "collects/readline" responsible (mflatt) +"collects/realm" responsible (matthias) "collects/redex" responsible (clklein robby) "collects/redex/examples/arithmetic.rkt" drdr:command-line (racket * "--no-print") "collects/redex/examples/church.rkt" drdr:command-line (mzc *)