diff options
| author | Clément Pit-Claudel | 2020-12-11 11:41:10 -0500 |
|---|---|---|
| committer | Clément Pit-Claudel | 2020-12-11 11:41:10 -0500 |
| commit | b6682484477d5ecb506c057cc2a9fe4ed883e22c (patch) | |
| tree | 6deadf84ebbe4c020c8a37e6de32f3ebcd368683 /dev/ci | |
| parent | c8d2248cbbe2c713605e0c61d7342fad948072da (diff) | |
doc: Clarify the status of simpl vs cbn
The cbn tactic was documented in aa9db490a2. The current manual causes
confusion by suggesting that cbn is a replacement for simpl, while in practice
they do different things, both with their own quirks. Given that neither is
consistently faster than the other, I think it's worth clarifying the manual.
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions