Matthew Flatt 4d75690aff explicit flush after output intended to report progress		2013-07-20 07:14:18 -06:00
..
collects	explicit flush after output intended to report progress	2013-07-20 07:14:18 -06:00
man/man1	reorganize into core plus packages	2013-06-19 09:01:37 -06:00
src	fix problems with "collects" path and GUI executables	2013-07-19 13:17:40 -06:00
.gitignore	add "share", move "collects" back out of "lib", move "pkgs"	2013-07-19 11:52:02 -06:00