tools: pylint make-man-index.py
authorFrantisek Sumsal <frantisek@sumsal.cz>
Mon, 17 Jul 2023 18:02:54 +0000 (20:02 +0200)
committerFrantisek Sumsal <frantisek@sumsal.cz>
Thu, 10 Aug 2023 16:13:29 +0000 (18:13 +0200)
commitc6041b8bf88b7606f76050631a42a1a755e9ba8c
tree407f5ce2304d0a66a3f33368a4faf642628a6aa3
parent947727681ba270256bb7772485878892ba12e4f7
tools: pylint make-man-index.py
tools/make-man-index.py