| commit | cde7e34d6a97db80725e61de0d2df710fcb7a3e6 | [log] [tgz] |
|---|---|---|
| author | Stefan Schulz <schulzs@mathematik.uni-marburg.de> | Wed May 06 18:24:03 2020 +0200 |
| committer | Stefan Schulz <schulzs@mathematik.uni-marburg.de> | Wed May 06 18:24:03 2020 +0200 |
| tree | d1318498580493c0b63ab018eb2c817c947d5eb8 | |
| parent | a00c1ea316220f3d3ff3d83feaff2a23ba7d0c7e [diff] |
Modify rules in configurations through transactions. Change-Id: I74076c830b5c77d3d676f9f5c7e0cd135cb1b9e4