diff options
| author | Hugo Herbelin | 2016-04-27 22:13:03 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2016-04-27 22:13:03 +0200 |
| commit | 8ab8aba84521a8a81374619357452e081d0f758f (patch) | |
| tree | 34fbdd599071199343ceed200af5b8a5823e562f /dev | |
| parent | 3d1ef11e4a70e61bb8b4c6e2c1414a19ceb42886 (diff) | |
Revert "A fix to #3709: ensuring extra parentheses when a tactic entry has a"
This reverts commit df1e24f64f68318221d08246098837368ee1b406.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions