Home
last modified time | relevance | path

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

/development/tools/checkstyle/gitlint/
Dgit.py106 def modified_lines(filename, extra_data, commit=None): argument
118 if extra_data is None:
120 if extra_data not in ('M ', ' M', 'MM'):