wedroid/.idea/misc.xml

9 lines
407 B
XML
Raw Normal View History

2019-11-07 10:31:01 +00:00
<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
<component name="ExternalStorageConfigurationManager" enabled="true" />
<component name="HaskellBuildOptions">
<ghcPath>/usr/bin/ghc</ghcPath>
<stackPath>/usr/bin/stack</stackPath>
</component>
<component name="ProjectRootManager" version="2" languageLevel="JDK_1_8" project-jdk-name="1.8" project-jdk-type="JavaSDK" />
</project>