fix: case insensitive source directory - #45

fix: case insensitive source directory#45

samuelburnham merged 2 commits into

mainargumentcomputer/Blake3.lean:mainfrom

fix/case-insensitive-source-directoryargumentcomputer/Blake3.lean:fix/case-insensitive-source-directoryCopy head branch name to clipboard