From 0c26a38bed190d8a25d8d6883ba31bc9018b9145 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Sat, 27 Aug 2011 21:22:09 -0400 Subject: [PATCH] `scribble/tools' is Robby's. --- collects/meta/props | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/meta/props b/collects/meta/props index 6cd4c20049..57af43300b 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -1274,6 +1274,7 @@ path/s is either such a string or a list of them. "collects/scribble/run.rkt" drdr:command-line (mzc *) "collects/scribble/text" responsible (eli) "collects/scribble/text.rkt" responsible (eli) +"collects/scribble/tools" responsible (robby) "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 matthias)