Delete obsolete artefacts

This commit is contained in:
Fedor Isakov 2018-08-17 23:08:46 +02:00
parent b50ec9375e
commit ec38be682e
2 changed files with 0 additions and 14 deletions

View File

@ -1,13 +0,0 @@
<?xml version="1.0" encoding="UTF-8"?>
<module type="JAVA_MODULE" version="4">
<component name="NewModuleRootManager" inherit-compiler-output="true">
<exclude-output />
<content url="file://$MODULE_DIR$">
<sourceFolder url="file://$MODULE_DIR$/imports/mps-unification/code/src" isTestSource="false" />
<sourceFolder url="file://$MODULE_DIR$/source_gen" isTestSource="false" />
</content>
<orderEntry type="inheritedJdk" />
<orderEntry type="sourceFolder" forTests="false" />
<orderEntry type="library" name="mps-unification" level="project" />
</component>
</module>

@ -1 +0,0 @@
Subproject commit ae1a879eb5a605dd054c76e1c19f6ddf4fe97b51