Matthew Flatt 2f637741e2 switch makefile's parallelism control to `JOB_OPTIONS' ... Avoid potential collision with `PLT_SETUP_OPTIONS' as an environment variable.		2013-07-05 12:09:09 -06:00
..
lib	switch makefile's parallelism control to `JOB_OPTIONS'	2013-07-05 12:09:09 -06:00
man/man1	reorganize into core plus packages	2013-06-19 09:01:37 -06:00
src	switch makefile's parallelism control to `JOB_OPTIONS'	2013-07-05 12:09:09 -06:00
.gitignore	move release notes in appropriate packages	2013-06-19 21:01:52 -06:00