Skip to content

Port 'Make Paratext project extraction case-insensitive' - #343

Open
pmachapman wants to merge 1 commit into
mainfrom
case_insensitive_project_extraction
Open

Port 'Make Paratext project extraction case-insensitive'#343
pmachapman wants to merge 1 commit into
mainfrom
case_insensitive_project_extraction

Port 'Make Paratext project extraction case-insensitive'

3dc0554
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Build on ubuntu-latest using Python 3.11
succeeded Aug 5, 2026 in 5m 45s