mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-07 22:09:38 +07:00
helpers/pydev should be a source root with output prefix 'pydev'
This commit is contained in:
committed by
Andrey Vlasovskikh
parent
027d0a169b
commit
79b97af0cd
@@ -4,6 +4,7 @@
|
||||
<exclude-output />
|
||||
<content url="file://$MODULE_DIR$/helpers">
|
||||
<sourceFolder url="file://$MODULE_DIR$/helpers" isTestSource="false" />
|
||||
<sourceFolder url="file://$MODULE_DIR$/helpers/pydev" isTestSource="false" packagePrefix="pydev" />
|
||||
<excludeFolder url="file://$MODULE_DIR$/helpers/pydev/build" />
|
||||
</content>
|
||||
<orderEntry type="inheritedJdk" />
|
||||
|
||||
Reference in New Issue
Block a user