learning_tla/.idea/learning_tla.iml
Frederic G. MARAND de69f7c399 Intro: examples.
2025-02-22 19:20:33 +01:00

12 lines
No EOL
476 B
XML

<?xml version="1.0" encoding="UTF-8"?>
<module type="WEB_MODULE" version="4">
<component name="Go" enabled="true" />
<component name="NewModuleRootManager">
<content url="file://$MODULE_DIR$">
<excludeFolder url="file://$MODULE_DIR$/intro/specs/states" />
<excludeFolder url="file://$MODULE_DIR$/learn_tla/core/states" />
</content>
<orderEntry type="inheritedJdk" />
<orderEntry type="sourceFolder" forTests="false" />
</component>
</module>