Searched refs:head_banner (Results 1 – 1 of 1) sorted by relevance
207 def __init__(self, name, version, head_banner, foot_banner, timer, f=None): argument210 self.head_banner = head_banner364 print(self.head_banner, file=self._file)