configuration.txt and servers-of-happiness.txt: 1 <= happy <= N, not k <= happy ...
authordavid-sarah <david-sarah@jacaranda.org>
Fri, 18 Jun 2010 05:07:10 +0000 (22:07 -0700)
committerdavid-sarah <david-sarah@jacaranda.org>
Fri, 18 Jun 2010 05:07:10 +0000 (22:07 -0700)
commita92a23fe343862f2dba1c7cfddc01f0f595551d0
tree1650fec50ea36c93ea57b3ef6d7e195805a530ec
parent390fc78a9a68b42c661275733230780d61e3b967
configuration.txt and servers-of-happiness.txt: 1 <= happy <= N, not k <= happy <= N. Also minor wording changes.
docs/configuration.txt
docs/specifications/servers-of-happiness.txt