From 863af8c48090108af4d6d97747a6dc2ebfb8a85f Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 5 Dec 2012 11:10:33 -0600 Subject: [PATCH] try again to fix props I deleted the entry before. --- collects/meta/props | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/meta/props b/collects/meta/props index 5f4f8de6cc..918e32e27c 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -1477,6 +1477,7 @@ path/s is either such a string or a list of them. "collects/tests/units" responsible (sstrickl) "collects/tests/unstable" responsible (jay samth cce ryanc) "collects/tests/unstable/automata" responsible (jay) +"collects/tests/unstable/cat.rkt" responsible (ryanc) "collects/tests/unstable/list.rkt" responsible (jay) "collects/tests/unstable/logging.rkt" responsible (stamourv) "collects/tests/unstable/srcloc.rktl" responsible (cce) @@ -1509,7 +1510,6 @@ path/s is either such a string or a list of them. "collects/typed-scheme" responsible (samth stamourv) "collects/unstable" responsible (jay samth cce ryanc) "collects/unstable/automata" responsible (jay) -"collects/unstable/cat.rkt" responsible (ryanc) "collects/unstable/debug.rkt" responsible (samth) "collects/unstable/hash.rkt" responsible (samth) "collects/unstable/logging.rkt" responsible (stamourv)