-
Kai Koehne authored
Make the file search case insensitive on Windows, in case the projects directory has a different capitalization than what we store in the user settings. Reviewed-by: Robert Loehning
444fd5ee
Make the file search case insensitive on Windows, in case the projects directory has a different capitalization than what we store in the user settings. Reviewed-by: Robert Loehning