aboutsummaryrefslogtreecommitdiff
path: root/test/lint/lint-logs.py
AgeCommit message (Expand)Author
2023-08-03lint: remove lint-logs.pyfanquake
2023-01-18scripted-diff: Use new python 3.7 keywordsMarcoFalke
2022-06-08logging: add LogPrintfCategory to log unconditionally with categoryJon Atack
2022-05-26scripts and tools: update lint-logs.py to detect LogPrintLevel()Jon Atack
2022-04-14lint: Convert lint-logs.sh to PythonDimitri