From 9074bf199215611a8398dec954a872881067decb Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Wed, 21 Jul 2010 20:05:19 -0400 Subject: [PATCH] Typo in Matthias's name --- collects/meta/props | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/meta/props b/collects/meta/props index 28d308e373..8bcc0ea1d8 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -1226,7 +1226,7 @@ path/s is either such a string or a list of them. "collects/scribble/text" responsible (eli) "collects/scribble/tools/drracket-buttons.rkt" drdr:command-line (gracket-text *) "collects/scribble/tools/private/mk-drs-bitmaps.rkt" drdr:command-line (gracket-text * "skip") -"collects/scribblings" responsible (mflatt eli robby mathias) +"collects/scribblings" responsible (mflatt eli robby matthias) "collects/scribblings/framework/standard-menus.scrbl" drdr:command-line #f "collects/scribblings/guide/contracts-examples/6.rkt" drdr:command-line (racket "-f" *) "collects/scribblings/guide/read.scrbl" drdr:command-line #f