-
Simon Marlow authored
The notes at the top of this file were wrong, and totally confusing. As far as I can tell, they never matched reality. This commit up the comments, and adds a warning about editing this file directly (a common mistake with fptools newbies).
f302d61c