From 2ea7220f8cbf6019755fd50c0ff447708a33cbeb Mon Sep 17 00:00:00 2001
From: ben <benjaminlgreenman@gmail.com>
Date: Wed, 23 Mar 2016 14:06:06 -0400
Subject: [PATCH] ** lol, don't need the special info

---
 info.rkt | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100644 info.rkt

diff --git a/info.rkt b/info.rkt
deleted file mode 100644
index c1fb9d6..0000000
--- a/info.rkt
+++ /dev/null
@@ -1,7 +0,0 @@
-#lang info
-(define collection 'multi)
-(define setup-collects '("trivial"))
-(define compile-omit-paths '(
-  "icfp-2016"
-  "test"
-))