commit | 0e07d14193e250c71528bcf97ca6b2ca6031a7cd | [log] [tgz] |
---|---|---|
author | Daniel Strueber <strueber@mathematik.uni-marburg.de> | Thu Jan 09 15:36:56 2020 -0500 |
committer | Gerrit Code Review @ Eclipse.org <gerrit@eclipse.org> | Thu Jan 09 15:36:56 2020 -0500 |
tree | e028d494afba42a1a902b119467cda7c2bede40d | |
parent | b8b46876f79f763eecac10eae68818005ad733ad [diff] | |
parent | f2f3e2bca5a67ff11f91b9eb3d7dcad7ee7f3eab [diff] |
Merge "Variability: decouple wrapper layer from UI+fix in interpreter"