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