| commit | a00c1ea316220f3d3ff3d83feaff2a23ba7d0c7e | [log] [tgz] |
|---|---|---|
| author | Stefan Schulz <schulzs@mathematik.uni-marburg.de> | Wed May 06 18:22:59 2020 +0200 |
| committer | Stefan Schulz <schulzs@mathematik.uni-marburg.de> | Wed May 06 18:22:59 2020 +0200 |
| tree | e40c7c99461d562e315f41a2153db54a75637344 | |
| parent | 1bbe370f2ffadfdd56cfb110d903ae23ff385fa5 [diff] |
Update label for selected rule on change, fix feature constraint label. Change-Id: I589bdfd26d905dadc98b50cf45fd12b63082b5d2