Searched defs:doc_header (Results 1 – 2 of 2) sorted by relevance
73 doc_header = "Documented commands (type help <topic>):" variable in Cmd
70 doc_header = "Documented commands (type help <topic>):" variable in Cmd