avoid redundant deletions when re-running setup-plt

svn: r9859
This commit is contained in:
Eli Barzilay 2008-05-15 20:01:32 +00:00
parent 54e696c9d4
commit d1f6b6734b

View File

@ -1,3 +1,4 @@
#lang setup/infotab
(define assume-virtual-sources #t)
;; (define install-collection "installer.ss")