Searched defs:write_header (Results 1 - 1 of 1) sorted by relevance

/gem5/ext/pybind11/tools/
H A Dmkdoc.py297 def write_header(comments, out_file=sys.stdout): function

Completed in 5 milliseconds