Searched refs:banner (Results 1 – 2 of 2) sorted by relevance
80 function banner() { function87 banner
193 # as being the beginning of a Javadoc-style comment "banner". If set to NO, the