Lines Matching full:superseded
1373 # this option is superseded by the HAVE_DOT option below. This is only a
