wedroid/.idea/misc.xml
2019-11-07 11:31:01 +01:00

9 lines
407 B
XML

<?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>