Home
last modified time | relevance | path

Searched defs:htmlfile (Results 1 – 2 of 2) sorted by relevance

/external/python/cpython3/Tools/scripts/
Dhighlight.py260 htmlfile = os.path.splitext(os.path.basename(sourcefile))[0] + '.html' variable
/external/python/cpython2/Tools/bgen/bgen/
Dscantools.py406 def sethtmloutput(self, htmlfile): argument