(self, path)
| 967 | self._links[path.casefold()] = target |
| 968 | |
| 969 | def add_known_dir(self, path): |
| 970 | p = path.rstrip("\\").casefold() |
| 971 | while p: |
| 972 | self._dirs.add(p) |
| 973 | p = p.rpartition("\\")[0] |
| 974 | |
| 975 | def __missing__(self, key): |
| 976 | try: |
no test coverage detected