Fix doubled period in source filename

This commit is contained in:
Roland Rossgotterer
2018-12-10 15:55:10 +01:00
committed by Klaus Basan
parent 11f328b5c3
commit beec08f70c