mirror of
https://github.com/openjdk/jdk.git
synced 2026-01-30 04:58:25 +00:00
8 lines
200 B
XML
8 lines
200 B
XML
<component name="CopyrightManager">
|
|
<settings default="langtools">
|
|
<LanguageOptions name="JAVA">
|
|
<option name="fileLocation" value="1" />
|
|
</LanguageOptions>
|
|
</settings>
|
|
</component>
|