lint: remove lint-logs.py

andrewtoth · Aug 3, 2023 · 9100079 · 9100079
1 parent d86a83d
commit 9100079
Showing 1 changed file with 0 additions and 34 deletions.
diff --git a/test/lint/lint-logs.py b/test/lint/lint-logs.py