ceriel b75744f0d4 replace 10 by 10.0, so that the conversion is not done at runtime		1987-10-22 13:58:48 +00:00
..
gen	replace 10 by 10.0, so that the conversion is not done at runtime	1987-10-22 13:58:48 +00:00
mon	brk must return pointer size	1987-09-02 14:54:32 +00:00
stdio	increased buffer size, check for end	1987-10-22 13:35:05 +00:00
.distr	Initial revision	1987-04-16 15:48:27 +00:00