Skip to content

make extensions case insensitive for type guessing and texture reloading#676

Closed
microlith57 wants to merge 2 commits intoEverestAPI:devfrom
microlith57:feature/case_insensitive_extensions
Closed

make extensions case insensitive for type guessing and texture reloading#676
microlith57 wants to merge 2 commits intoEverestAPI:devfrom
microlith57:feature/case_insensitive_extensions

Commits

Commits on Oct 15, 2023

Commits on Oct 16, 2023