From: Reimar Döffinger Date: Sat, 11 Apr 2020 23:29:56 +0000 (+0200) Subject: Some lint fixes. X-Git-Url: https://gitweb.fperrin.net/?a=commitdiff_plain;h=e79165503392ed6a7cb7a8eadc15eaae0cda9443;hp=e79165503392ed6a7cb7a8eadc15eaae0cda9443;p=Dictionary.git Some lint fixes. ---