matita.cs.unibo.it Git - logicplayer.git/blob - Server/server/tesi/.idea/scopes/scope_settings.xml

]> matita.cs.unibo.it Git - logicplayer.git/blob - Server/server/tesi/.idea/scopes/scope_settings.xml

projects / logicplayer.git / blob

summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD

[logicplayer.git] / Server / server / tesi / .idea / scopes / scope_settings.xml

 <component name="DependencyValidationManager">
   <state>
     <option name="SKIP_IMPORT_STATEMENTS" value="false" />
   </state>
 </component>

Unnamed repository; edit this file 'description' to name the repository.