change manual name to "DrRacket Plugins"
This commit is contained in:
parent
707fdadd1b
commit
e7a6d757dc
|
@ -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"]
|
||||
|
||||
|
|
Loading…
Reference in New Issue
Block a user