diff options
| author | Pierre-Marie Pédrot | 2020-04-30 16:05:19 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-05-03 13:09:49 +0200 |
| commit | 6839a2c9b7d2480e21572a7d176dcd6ea0617159 (patch) | |
| tree | cd0840fd07b436567f76924e2fcf219595194786 /plugins | |
| parent | 1109581ba7afca804515fc6179565da808bae4f7 (diff) | |
Remove a very specific low-level tactical from Refiner.
It was only used at one point in the STM, and its localization was suprising
to say the least. Furthermore it was relying on legacy code. Instead we hardcode
it in the STM.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions