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