| commit | f2f3e2bca5a67ff11f91b9eb3d7dcad7ee7f3eab | [log] [tgz] |
|---|---|---|
| author | Daniel Strüber <strueber@mathematik.uni-marburg.de> | Thu Jan 09 21:35:54 2020 +0100 |
| committer | Daniel Strüber <strueber@mathematik.uni-marburg.de> | Thu Jan 09 21:35:54 2020 +0100 |
| tree | 2cd1542efdbe927f710542d0572b7d5ac6c4bf18 | |
| parent | 9f7461a79860c3ce283b10f9b492429d435c4544 [diff] |
Variability: decouple wrapper layer from UI+fix in interpreter Change-Id: I8eeeddb1912d6bccb7c588c8f31f4535a7bab229