equal
deleted
inserted
replaced
837 except ImportError: |
837 except ImportError: |
838 return None |
838 return None |
839 |
839 |
840 # File system features |
840 # File system features |
841 |
841 |
842 def checkfolding(path): |
842 def checkcase(path): |
843 """ |
843 """ |
844 Check whether the given path is on a case-sensitive filesystem |
844 Check whether the given path is on a case-sensitive filesystem |
845 |
845 |
846 Requires a path (like /foo/.hg) ending with a foldable final |
846 Requires a path (like /foo/.hg) ending with a foldable final |
847 directory component. |
847 directory component. |