From ac0db8e13c1b7880492c14068998db7b0c091de9 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Wed, 13 Nov 2013 15:19:38 -0800 Subject: [PATCH] change name of project require directory --- world.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/world.rkt b/world.rkt index 68129c7..83c0acc 100644 --- a/world.rkt +++ b/world.rkt @@ -21,7 +21,7 @@ ;(define META_POLLEN_TAG 'metas) ;(define META_POLLEN_EXPORT 'metas) -(define EXTRAS_DIR (string->path "require")) +(define EXTRAS_DIR (string->path "pollen-require")) (define MISSING_FILE_BOILERPLATE "#lang planet mb/pollen\n\n")