openide/python/openapi at ffa825af57f3ec6f49a9fa82d3a28de00266a4ca - openide - Gitea

MDS/openide

mirror of https://gitflic.ru/project/openide/openide.git synced 2026-03-22 23:31:05 +07:00

Files

History

Alexey Kudravtsev ffa825af57 use file.isCaseSensitive() instead of some VirtualFileSystem.isCaseSensitive()/SystemInfo.isCaseSensitive to support per-directory case sensitivity

GitOrigin-RevId: d7e7ecbba51a13c13935001238825b3740888458

2020-07-31 15:25:37 +00:00

..

src/com/jetbrains/python

use file.isCaseSensitive() instead of some VirtualFileSystem.isCaseSensitive()/SystemInfo.isCaseSensitive to support per-directory case sensitivity

2020-07-31 15:25:37 +00:00

intellij.python.community.iml

…