mirror of
https://github.com/nonebot/nonebot2.git
synced 2024-09-21 05:12:34 +00:00
10 lines
455 B
XML
10 lines
455 B
XML
|
<?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_9" default="false" project-jdk-name="Python 3.6 (none-bot)" project-jdk-type="Python SDK" />
|
||
|
|
<component name="PythonCompatibilityInspectionAdvertiser">
|
||
|
|
<option name="version" value="3" />
|
||
|
|
</component>
|
||
|
|
</project>
|