comparison configure @ 14066:db6de212435b

it's stupid for the default to be something both slower (for xv+dr) and visually incorrect.. use -nodouble if you want old behavior
author rfelker
date Tue, 30 Nov 2004 07:42:08 +0000
parents 7a129428a408
children 8500cd45f35b
comparison
equal deleted inserted replaced
14065:de6ed5d2805d 14066:db6de212435b