Merge branch 'tree-ui'
[idea/community.git] / plugins / maven / src / main / java / org / jetbrains / idea / maven / vfs /
drwxr-xr-x   ..
-rw-r--r-- 1677 MavenGotoPropertyFileContibutor.java
-rw-r--r-- 3134 MavenPropertiesVirtualFile.java
-rw-r--r-- 3958 MavenPropertiesVirtualFileSystem.java