Searched refs:print_headline (Results 1 – 1 of 1) sorted by relevance
257 print_headline() { # <title> function270 ! $verbose || print_headline "$3"288 $headline_printed || print_headline "$3"296 $headline_printed || print_headline "$3"304 $headline_printed || print_headline "$3"312 $headline_printed || print_headline "$3"320 $headline_printed || print_headline "$3"328 $headline_printed || print_headline "$3"