-
Vincent Pelletier authored
bad-option-value has an effect on the "disable" line, but somehow none on the "enable" line. So remove it altogether.
2eb358be
bad-option-value has an effect on the "disable" line, but somehow none on the "enable" line. So remove it altogether.