fix invalid character in filename on Windows

This commit is contained in:
Tobias Oberstein 2014-08-04 13:46:44 +02:00
parent 2aaaccc40a
commit f140d8405b