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

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

pmachapman wants to merge 1 commit into

mainsillsdev/machine.py:mainfrom

case_insensitive_project_extractionsillsdev/machine.py:case_insensitive_project_extractionCopy head branch name to clipboard