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