Add WORKER_POOL environmental option to facilitate pysawsim.manager benchmarking.
[sawsim.git] / COPYING
2010-10-14 W. Trevor KingUpdate copyright/licensing blurbs with newer GPLv3+.