lean-cli icon indicating copy to clipboard operation
lean-cli copied to clipboard

Fix minor bug in lean configuration duplication

Open Marinovsky opened this issue 1 year ago • 0 comments

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

Marinovsky avatar Oct 28 '24 21:10 Marinovsky