Christoph Oelckers dbd333f6f3 - renamed all Windows libraries to *.lib so that Windows tools do not get confused by these non-standard names.

2019-09-22 09:15:03 +02:00

5.9 MiB

Raw History

View raw