Typo in Matthias's name

(cherry picked from commit 9074bf1992)
This commit is contained in:
Eli Barzilay 2010-07-21 20:05:19 -04:00
parent b848430bc4
commit 5e0ff8b8b2

View File

@ -1225,7 +1225,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