summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorjvoisin2018-10-11 19:55:07 +0200
committerjvoisin2018-10-11 19:55:07 +0200
commit2444caccc0ae93255cdd32f792031f5fce093ea2 (patch)
tree78a1518e48561fc7fc997a16197f114026c662b2
parentb9dbd12ef91f4dfba8c1d0737ab52ff87ac515f1 (diff)
Make pylint happier
-rwxr-xr-xmat22
1 files changed, 1 insertions, 1 deletions
diff --git a/mat2 b/mat2
index 2a76b4c..b4a6033 100755
--- a/mat2
+++ b/mat2
@@ -68,7 +68,7 @@ def show_meta(filename: str):
68 __print_meta(filename, p.get_meta()) 68 __print_meta(filename, p.get_meta())
69 69
70 70
71def __print_meta(filename:str, metadata: dict, depth:int=1): 71def __print_meta(filename: str, metadata: dict, depth: int=1):
72 padding = " " * depth*2 72 padding = " " * depth*2
73 if not metadata: 73 if not metadata:
74 print(padding + "No metadata found") 74 print(padding + "No metadata found")