Searched refs:print_headline (Results 1 – 1 of 1) sorted by relevance
225 print_headline() { # <title> function238 ! $verbose || print_headline "$3"256 $headline_printed || print_headline "$3"264 $headline_printed || print_headline "$3"272 $headline_printed || print_headline "$3"280 $headline_printed || print_headline "$3"288 $headline_printed || print_headline "$3"