commit | 83f663e2a542882b6d203fbcc5e30b35ebc8cae3 | [log] [tgz] |
---|---|---|
author | Daniel Strueber <strueber@mathematik.uni-marburg.de> | Fri Mar 20 09:22:06 2020 -0400 |
committer | Gerrit Code Review @ Eclipse.org <gerrit@eclipse.org> | Fri Mar 20 09:22:06 2020 -0400 |
tree | 23dbb9e824278e1a5c0998da7f5cbe10dabd2cd6 | |
parent | bc1d5f906b201b3d73a190ea2640aeb4a0cc5f04 [diff] | |
parent | 071791e9c62f6a875204c3fe97d9fe9c3ffe416f [diff] |
Merge "after users modify rules, update all ACs and Subrule in the rules"