avoid planet dependency

svn: r13832

original commit: b901c9769f85c8589fd494b570e6d57f0f1e7506
This commit is contained in:
Eli Barzilay 2009-02-25 13:18:49 +00:00
parent fa1e88c03d
commit e9b311d060

View File

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