comparison DOCS/tech/dr-methods.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 f0cb56e4e986
children f665d42cd019
comparison
equal deleted inserted replaced
14068:f1372a7d9ee9 14069:0091c036baee