Merge pull request #19 from metaborg/remove-typesmart

Remove typesmart
metaborg · May 18, 2020 · dc943c7 · dc943c7
2 parents 723cefd + dba75bb
commit dc943c7
Show file tree

Hide file tree

Showing 13 changed files with 0 additions and 921 deletions.
diff --git a/org.spoofax.terms.typesmart/.gitignore b/org.spoofax.terms.typesmart/.gitignore
diff --git a/org.spoofax.terms.typesmart/pom.xml b/org.spoofax.terms.typesmart/pom.xml
diff --git a/org.spoofax.terms.typesmart/src/org/spoofax/terms/typesmart/TypesmartContext.java b/org.spoofax.terms.typesmart/src/org/spoofax/terms/typesmart/TypesmartContext.java
diff --git a/org.spoofax.terms.typesmart/src/org/spoofax/terms/typesmart/TypesmartLogger.java b/org.spoofax.terms.typesmart/src/org/spoofax/terms/typesmart/TypesmartLogger.java