29297396ab
Add new ant target 'idea' to create IntelliJ langtools project Reviewed-by: jjg
8 lines
230 B
XML
8 lines
230 B
XML
<component name="InspectionProjectProfileManager">
|
|
<settings>
|
|
<option name="PROJECT_PROFILE" value="langtools" />
|
|
<option name="USE_PROJECT_PROFILE" value="true" />
|
|
<version value="1.0" />
|
|
</settings>
|
|
</component>
|