From ac516df24166ff3b2acdcbb8e35254662a39edfe Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Thu, 3 Mar 2016 12:24:08 -0800 Subject: [PATCH] omit files --- br/info.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/br/info.rkt b/br/info.rkt index 3d54b76..76c4d7c 100644 --- a/br/info.rkt +++ b/br/info.rkt @@ -1,2 +1,3 @@ #lang info -(define test-omit-paths 'all) \ No newline at end of file +(define test-omit-paths '("ex")) +(define compile-omit-paths '("ex")) \ No newline at end of file