From f54232c25ca50b0867d5212031a4cb1e95672947 Mon Sep 17 00:00:00 2001 From: ben Date: Wed, 23 Mar 2016 11:59:26 -0400 Subject: [PATCH] ** try adding toplevel info.rkt --- info.rkt | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 info.rkt diff --git a/info.rkt b/info.rkt new file mode 100644 index 0000000..9a6d71c --- /dev/null +++ b/info.rkt @@ -0,0 +1,7 @@ +#lang info +(define collection 'multi) +(define compile-omit-paths '( + "compiled" + "icfp-2016" + "test" +))