** lol, don't need the special info

2016-03-23 14:06:06 -04:00 · 2016-03-23 14:06:06 -04:00 · 2ea7220f8c
commit 2ea7220f8c
parent de518d458b
1 changed files with 0 additions and 7 deletions
--- a/info.rkt
+++ b/info.rkt
@ -1,7 +0,0 @@
-#lang info
-(define collection 'multi)
-(define setup-collects '("trivial"))
-(define compile-omit-paths '(
-  "icfp-2016"
-  "test"
-))