From ac081577a0a38f4e68860035032778a18bbe26c0 Mon Sep 17 00:00:00 2001 From: "William J. Bowman" Date: Wed, 23 Sep 2015 18:11:08 -0400 Subject: [PATCH] Fixed scribbled inline TODOs --- scribblings/defs.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scribblings/defs.rkt b/scribblings/defs.rkt index 3197e18..59927bd 100644 --- a/scribblings/defs.rkt +++ b/scribblings/defs.rkt @@ -4,7 +4,7 @@ (provide (all-defined-out)) (define (todo . ls) - (apply margin-note "TODO: " ls)) + (apply margin-note* "TODO: " ls)) (define (gtech . x) (apply tech x #:doc '(lib "scribblings/guide/guide.scrbl")))