2023-03-10 12:18:34 +01:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<module type="PYTHON_MODULE" version="4">
|
|
|
|
<component name="FacetManager">
|
|
|
|
<facet type="MicroPython" name="MicroPython">
|
|
|
|
<configuration>
|
|
|
|
<device name="Raspberry Pi Pico" />
|
|
|
|
</configuration>
|
|
|
|
</facet>
|
|
|
|
</component>
|
|
|
|
<component name="NewModuleRootManager">
|
|
|
|
<content url="file://$MODULE_DIR$">
|
|
|
|
<sourceFolder url="file://$MODULE_DIR$/src" isTestSource="false" />
|
2023-03-10 14:17:30 +01:00
|
|
|
<excludeFolder url="file://$MODULE_DIR$/.direnv" />
|
2023-03-10 12:18:34 +01:00
|
|
|
</content>
|
|
|
|
<orderEntry type="jdk" jdkName="Python 3.10 (plant-badge)" jdkType="Python SDK" />
|
|
|
|
<orderEntry type="sourceFolder" forTests="false" />
|
|
|
|
<orderEntry type="library" name="MicroPython" level="project" />
|
|
|
|
</component>
|
|
|
|
<component name="PyDocumentationSettings">
|
|
|
|
<option name="format" value="PLAIN" />
|
|
|
|
<option name="myDocStringFormat" value="Plain" />
|
|
|
|
</component>
|
|
|
|
</module>
|