+ fixes #0002133: Bad file name copying.lib

This commit is contained in:
wmayer 2016-05-06 19:33:16 +02:00
parent 237bf8332c
commit 2ccf588392