parameters: ()
return_statement: return """<!--- WARNING: Do NOT edit this file directly.
        It is generated by './tools/scrape_supported_devices.py'.
        Last generated: {} --->""".format(
            time.strftime("%a %d %b %Y %H:%M:%S +0000", time.gmtime(srctime)))
docstring: Get the generated header
docstring_summary: Get the generated header
docstring_tokens: Get the generated header
function: def getmarkdownheader():
    """Get the generated header
    """
    srctime = getgitcommittime()
    # pylint: disable=C0209
    return """<!--- WARNING: Do NOT edit this file directly.
        It is generated by './tools/scrape_supported_devices.py'.
        Last generated: {} --->""".format(
            time.strftime("%a %d %b %Y %H:%M:%S +0000", time.gmtime(srctime)))
function_tokens: def getmarkdownheader ( ) : srctime = getgitcommittime ( ) # pylint: disable=C0209 return """<!--- WARNING: Do NOT edit this file directly.
        It is generated by './tools/scrape_supported_devices.py'.
        Last generated: {} --->""" . format ( time . strftime ( "%a %d %b %Y %H:%M:%S +0000" , time . gmtime ( srctime ) ) )