commit | bc1d5f906b201b3d73a190ea2640aeb4a0cc5f04 | [log] [tgz] |
---|---|---|
author | Daniel Strueber <strueber@mathematik.uni-marburg.de> | Fri Mar 20 09:15:56 2020 -0400 |
committer | Gerrit Code Review @ Eclipse.org <gerrit@eclipse.org> | Fri Mar 20 09:15:56 2020 -0400 |
tree | 9fe8b71836d6a1f81b4352d44f31ddce07519cd1 | |
parent | 7d18e4381cd8bef75e2ab523dbb80bfe6afe501e [diff] | |
parent | 7856823dcb2b6c1591ffe713dc88373bf751201b [diff] |
Merge "remove parameter in rule if es is deleted"