Merge branch 'unify-Test' into plugin

# Conflicts:
#	pom.xml
#	src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
This commit is contained in:
Michael Uhl 2019-02-01 21:18:52 +01:00
commit fde462eb16

Diff Content Not Available