lean-cli
lean-cli copied to clipboard
Fix minor bug in lean configuration duplication
This PR aims to update get_known_lean_config_paths() method to remove duplicated entries and normalize the path and case in config files' paths. See #508