commit e7b17ca810495e004d45c5983ecc8b1d8aae6691 parent acdcac4bfe56f6dc0b38cba220c9edfbf48535e2 Author: Georges Dupéron <georges.duperon@gmail.com> Date: Sun, 29 Jan 2017 01:34:50 +0100 Put documentation inf the typed-racket section. Diffstat:
| M | typed-map-doc/typed-map/info.rkt | | | 2 | +- |
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/typed-map-doc/typed-map/info.rkt b/typed-map-doc/typed-map/info.rkt @@ -1,2 +1,2 @@ #lang info -(define scribblings '(("scribblings/typed-map.scrbl" ()))) +(define scribblings '(("scribblings/typed-map.scrbl" () ("typed-racket"))))