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