From 7871487b12913516280cdf14cf00b3f7a5c34678 Mon Sep 17 00:00:00 2001
From: Jay McCarthy <jay@racket-lang.org>
Date: Wed, 6 Oct 2010 13:03:17 -0600
Subject: [PATCH] Info

---
 collects/meta/drdr2/info.rkt | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 collects/meta/drdr2/info.rkt

diff --git a/collects/meta/drdr2/info.rkt b/collects/meta/drdr2/info.rkt
new file mode 100644
index 0000000000..8a275f442f
--- /dev/null
+++ b/collects/meta/drdr2/info.rkt
@@ -0,0 +1,4 @@
+#lang setup/infotab
+
+(define name "DrDr2")
+(define compile-omit-paths 'all)