From 0720ad231e8d48da9bf3df1e2b5abf7abb0c598f Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Thu, 7 Mar 2013 15:27:05 -0700 Subject: [PATCH] raco setup, ignore this collect --- collects/meta/planet2-index/info.rkt | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 collects/meta/planet2-index/info.rkt diff --git a/collects/meta/planet2-index/info.rkt b/collects/meta/planet2-index/info.rkt new file mode 100644 index 0000000000..4c6c1065ca --- /dev/null +++ b/collects/meta/planet2-index/info.rkt @@ -0,0 +1,4 @@ +#lang setup/infotab + +(define name "Package server") +(define compile-omit-paths 'all)