somehow this wasn't deleted earlier

2010-05-15 16:06:45 -04:00 · 2010-05-15 16:06:45 -04:00 · 8a973cde91
commit 8a973cde91
parent 3db293a6af
1 changed files with 0 additions and 4 deletions
--- a/collects/meta/drdr/info.ss
+++ b/collects/meta/drdr/info.ss
@ -1,4 +0,0 @@
-#lang setup/infotab
-
-(define name "DrDr")
-(define compile-omit-paths 'all)