Remove double space in file name comment check

Reported by Martin Kletzander
This commit is contained in:
Ján Tomko 2014-03-18 13:15:31 +01:00
parent 14fc041f69
commit 80ac017632