Marcel Moolenaar fa3b7cae8d Catch up with other platforms: switch the default scheduler to 4BSD.		2004-09-12 05:50:32 +00:00
..
GENERIC	Catch up with other platforms: switch the default scheduler to 4BSD.	2004-09-12 05:50:32 +00:00
GENERIC.hints
Makefile
NOTES
SKI	Catch up with other platforms: switch the default scheduler to 4BSD.	2004-09-12 05:50:32 +00:00