Account for filename collisions on systems with case-insensitive file…#1332

Merged

samsinsane merged 1 commit intopremake:masterfrom ratzlaff:fix_case_insensitive_collisions

Sep 12, 2019

+170-11

Commits on Sep 12, 2019

Account for filename collisions on systems with case-insensitive file systems
ratzlaff
committed