Handle both 'Luca' and 'luca' binary names for case-sensitive filesystems#10

albertodebortoli merged 1 commit intomainLucaTools/LucaScripts:mainfrom

allow-for-casing-differencesLucaTools/LucaScripts:allow-for-casing-differencesCopy head branch name to clipboard