From e7a6d757dca9808a5622da03431c52d1db1d9889 Mon Sep 17 00:00:00 2001 From: Ryan Culpepper Date: Tue, 9 Aug 2011 00:41:12 -0600 Subject: [PATCH] change manual name to "DrRacket Plugins" --- collects/scribblings/tools/tools.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/scribblings/tools/tools.scrbl b/collects/scribblings/tools/tools.scrbl index 0146f22a35..b0da4ff0c1 100644 --- a/collects/scribblings/tools/tools.scrbl +++ b/collects/scribblings/tools/tools.scrbl @@ -19,7 +19,7 @@ (define-syntax-rule (item/cap x . ys) (item (indexed-racket x) ": " . ys))) -@title{Extending DrRacket} +@title{DrRacket Plugins} @author["Robert Bruce Findler"]