Searched refs:BANNER (Results 1 – 1 of 1) sorted by relevance
544 BANNER = '// This file is generated by util-src/generate_java.py do not directly modify!' variable568 'banner' : BANNER,858 print("// " + BANNER, file=main_file)