commit | 071791e9c62f6a875204c3fe97d9fe9c3ffe416f | [log] [tgz] |
---|---|---|
author | xul <Xul@students.uni-marburg.de> | Sun Mar 15 11:35:25 2020 +0100 |
committer | Daniel Strueber <strueber@mathematik.uni-marburg.de> | Fri Mar 20 08:21:15 2020 -0500 |
tree | 229c2da7328c6f3f0289e1a32b367acd60dd2b89 | |
parent | 7856823dcb2b6c1591ffe713dc88373bf751201b [diff] |
after users modify rules, update all ACs and Subrule in the rules Signed-off-by: xul <Xul@students.uni-marburg.de>