diff move-if-change @ 87954:a5ce1dbca0cc

Correct usage of OPTION_DEFAULT_ON, OPTION_DEFAULT_OFF so that the defaults are as they used to be. Default `Carbon' to off (it's unsupported).
author Glenn Morris <rgm@gnu.org>
date Fri, 25 Jan 2008 04:32:32 +0000
parents 354e0c45cedf
children 14a97ab281d5
line wrap: on
line diff