avoid planet dependency

svn: r13832
This commit is contained in:
Eli Barzilay 2009-02-25 13:18:49 +00:00
parent 51b867459b
commit b901c9769f

View File

@ -0,0 +1,3 @@
#lang setup/infotab
(define compile-omit-paths 'all)