comparison DOCS/tech/porting-status.txt @ 14069:0091c036baee

-double is now default, thus -nodouble needs to be documented instead. Slightly reworded the description of -nodouble.
author diego
date Tue, 30 Nov 2004 22:47:28 +0000
parents 29781bb2b165
children
comparison
equal deleted inserted replaced
14068:f1372a7d9ee9 14069:0091c036baee