Merge branch 'ypankratyev/duplicate_extension_in_register_quickfix'
[idea/community.git] / plugins / devkit /
drwxr-xr-x   ..
-rw-r--r-- 2771 devkit.iml
drwxr-xr-x - gen
drwxr-xr-x - jps-plugin
drwxr-xr-x - lib
drwxr-xr-x - resources
drwxr-xr-x - src
drwxr-xr-x - testData
drwxr-xr-x - testSources