Matthew Flatt 304d72fc6f raco pkg install: work around un-deletable directories ... When installing a package "P" and the usual directory already exists and cannot be deleted, then use the path "P+1", etc., and record the alternate path in the package database.		2013-10-14 21:06:49 -06:00
..
collects	raco pkg install: work around un-deletable directories	2013-10-14 21:06:49 -06:00
src	fix error typo	2013-10-14 18:18:33 -06:00
.gitignore	configure installation of man pages	2013-07-22 13:21:09 -06:00