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

This commit is contained in:
Christoph Oelckers 2019-09-22 09:15:03 +02:00
parent 718112a8fe
commit dbd333f6f3
28 changed files with 0 additions and 0 deletions