Home
last modified time | relevance | path

Searched refs:format_key (Results 1 – 1 of 1) sorted by relevance

/third_party/python/Lib/
Ddifflib.py1382 def _make_line(lines, format_key, side, num_lines=[0,0]): argument
1408 if format_key is None:
1411 if format_key == '?':
1432 text = '\0' + format_key + text + '\1'