update info

8 years ago · 38ee7ce634
parent d19e5f6b89
commit 38ee7ce634
1 changed files with 0 additions and 2 deletions
--- a/br/info.rkt
+++ b/br/info.rkt
@ -1,3 +1 @@
 #lang info
-(define test-omit-paths '("ex"))
-(define compile-omit-paths '("ex"))