Open bernardkwok opened 3 years ago
Currently it is possible to create FileSearchPaths with duplicate FilePaths. This enhancement is to have a way to get a unique set of file paths. This could possibility be a utility or built into FileSearchPath.
Currently it is possible to create FileSearchPaths with duplicate FilePaths. This enhancement is to have a way to get a unique set of file paths. This could possibility be a utility or built into FileSearchPath.