better logging
[teamcity/git-plugin.git] / .idea / misc.xml
1 <?xml version="1.0" encoding="UTF-8"?>\r
2 <project version="4">\r
3   <component name="EntryPointsManager">\r
4     <entry_points version="2.0" />\r
5   </component>\r
6   <component name="FacetAutodetectingManager">\r
7     <autodetection-disabled>\r
8       <facet-type id="web">\r
9         <modules>\r
10           <module name="git-server">\r
11             <files>\r
12               <file url="file://$PROJECT_DIR$/git-server/web/WEB-INF/web.xml" />\r
13             </files>\r
14           </module>\r
15         </modules>\r
16       </facet-type>\r
17     </autodetection-disabled>\r
18   </component>\r
19   <component name="ProjectResources">\r
20     <default-html-doctype>http://www.w3.org/1999/xhtml</default-html-doctype>\r
21   </component>\r
22   <component name="ProjectRootManager" version="2" languageLevel="JDK_1_8" default="false" assert-keyword="true" jdk-15="true" project-jdk-name="1.8" project-jdk-type="JavaSDK">\r
23     <output url="file://$PROJECT_DIR$/out" />\r
24   </component>\r
25 </project>