| <?xml version="1.0" encoding="UTF-8"?> | |
| <project version="4"> | |
| <component name="JavaScriptSettings"> | |
| <option name="languageLevel" value="ES6" /> | |
| </component> | |
| <component name="ProjectRootManager" version="2" languageLevel="JDK_1_3" default="false" project-jdk-name="Python 2.7.12+ (/usr/bin/python2.7)" project-jdk-type="Python SDK" /> | |
| <component name="RustProjectSettings"> | |
| <option name="toolchainHomeDirectory" value="$USER_HOME$/.cargo/bin" /> | |
| </component> | |
| </project> |