Matthew Flatt a5f26013ab place: fix finalizaiton of place channels stuck in a GC'ed channel ... Lack of ordering on finalization requires some care for explicit clean-up actions in a finalizer.		2013-07-21 16:35:56 -06:00
..
collects	distro-build: change `#:source?' config to mean source packages, too	2013-07-20 13:39:33 -06:00
man/man1	reorganize into core plus packages	2013-06-19 09:01:37 -06:00
src	place: fix finalizaiton of place channels stuck in a GC'ed channel	2013-07-21 16:35:56 -06:00
.gitignore	add "share", move "collects" back out of "lib", move "pkgs"	2013-07-19 11:52:02 -06:00