b1fa7e1adc04b35d0b1e8219e0ff4ce9aa759e9d
[debian/jabref.git] / .idea / misc.xml
1 <?xml version="1.0" encoding="UTF-8"?>
2 <project version="4">
3   <component name="EntryPointsManager">
4     <entry_points version="2.0" />
5   </component>
6   <component name="JavadocGenerationManager">
7     <option name="OUTPUT_DIRECTORY" />
8     <option name="OPTION_SCOPE" value="protected" />
9     <option name="OPTION_HIERARCHY" value="true" />
10     <option name="OPTION_NAVIGATOR" value="true" />
11     <option name="OPTION_INDEX" value="true" />
12     <option name="OPTION_SEPARATE_INDEX" value="true" />
13     <option name="OPTION_DOCUMENT_TAG_USE" value="false" />
14     <option name="OPTION_DOCUMENT_TAG_AUTHOR" value="false" />
15     <option name="OPTION_DOCUMENT_TAG_VERSION" value="false" />
16     <option name="OPTION_DOCUMENT_TAG_DEPRECATED" value="true" />
17     <option name="OPTION_DEPRECATED_LIST" value="true" />
18     <option name="OTHER_OPTIONS" value="" />
19     <option name="HEAP_SIZE" />
20     <option name="LOCALE" />
21     <option name="OPEN_IN_BROWSER" value="true" />
22   </component>
23   <component name="ProjectResources">
24     <default-html-doctype>http://www.w3.org/1999/xhtml</default-html-doctype>
25   </component>
26   <component name="ProjectRootManager" version="2" languageLevel="JDK_1_5" assert-keyword="true" jdk-15="true" project-jdk-name="1.7" project-jdk-type="JavaSDK">
27     <output url="file://$PROJECT_DIR$/out" />
28   </component>
29 </project>
30