Fixed TODO thing

This commit is contained in:
William J. Bowman 2015-09-22 23:30:00 -04:00
parent 31f4673477
commit d177577ac9
No known key found for this signature in database
GPG Key ID: DDD48D26958F0D1A

View File

@ -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")))