+ fixes #0002133: Bad file name copying.lib

This commit is contained in:
wmayer
2016-05-06 19:33:16 +02:00
parent a43870675d
commit 5b6e99a6fa