Matthew Flatt fa75aec408 make installers: avoid dot-files (like ".gitignore") in installers ... Closes PR 14716		2014-09-01 12:08:45 +02:00
..
collects	make installers: avoid dot-files (like ".gitignore") in installers	2014-09-01 12:08:45 +02:00
src	fix cross-module function inlining and argument use-count tracking	2014-09-01 12:08:44 +02:00
.gitignore	configure installation of man pages	2013-07-22 13:21:09 -06:00