mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-29 18:17:08 +07:00
Georgii Ustinovandintellij-monorepo-bot
0890fa0081
GitOrigin-RevId: d0bff379c9f73853ef6a172c4fe7c4c3055aea20
18 lines
608 B
XML
18 lines
608 B
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<module type="JAVA_MODULE" version="4">
|
|
<component name="NewModuleRootManager" inherit-compiler-output="true">
|
|
<exclude-output />
|
|
<content url="file://$MODULE_DIR$" />
|
|
<orderEntry type="inheritedJdk" />
|
|
<orderEntry type="sourceFolder" forTests="false" />
|
|
<orderEntry type="module-library" scope="RUNTIME">
|
|
<library name="jshell-frontend">
|
|
<CLASSES>
|
|
<root url="jar://$MODULE_DIR$/jshell-frontend.jar!/" />
|
|
</CLASSES>
|
|
<JAVADOC />
|
|
<SOURCES />
|
|
</library>
|
|
</orderEntry>
|
|
</component>
|
|
</module> |