Matthew Flatt 335177f1bc fix problems with text-mode ports on Windows ... Closes PR 14198 Merge to v6.0		2013-11-25 10:00:23 -07:00
..
collects	fix #:make-docs? argument of setup	2013-11-23 20:10:26 -07:00
src	fix problems with text-mode ports on Windows	2013-11-25 10:00:23 -07:00
.gitignore	configure installation of man pages	2013-07-22 13:21:09 -06:00