tree e028d494afba42a1a902b119467cda7c2bede40d
parent b8b46876f79f763eecac10eae68818005ad733ad
parent f2f3e2bca5a67ff11f91b9eb3d7dcad7ee7f3eab
author Daniel Strueber <strueber@mathematik.uni-marburg.de> 1578602216 -0500
committer Gerrit Code Review @ Eclipse.org <gerrit@eclipse.org> 1578602216 -0500

Merge "Variability: decouple wrapper layer from UI+fix in interpreter"