contrib/scripts/terminate.py.in: indent fixes + comments
authorNils Gillmann <ng0@n0.is>
Tue, 22 May 2018 09:51:42 +0000 (09:51 +0000)
committerNils Gillmann <ng0@n0.is>
Tue, 22 May 2018 09:51:42 +0000 (09:51 +0000)
commit2048bc3286e1a6fcaab7a54462d9f61a94d7dc46
tree89755dcf6c763fc2f1cf2707792d33f8f26ef880
parent067f31e6e330b5348f0979364de7e4038d4594e7
contrib/scripts/terminate.py.in: indent fixes + comments

Signed-off-by: Nils Gillmann <ng0@n0.is>
contrib/scripts/terminate.py.in