diff options
| author | Lasse Blaauwbroek | 2020-09-06 22:21:18 +0200 |
|---|---|---|
| committer | Lasse Blaauwbroek | 2020-09-06 22:21:18 +0200 |
| commit | 5a417e9e25713e65bbe5f2a9c8fccef4d17bc4a6 (patch) | |
| tree | 3ca2a3ec3ff7340dfa91ff0e1d2871cd5d5178c0 /doc | |
| parent | 48f465dd5c5f9db416a7cd57b0acb86f17323ce3 (diff) | |
Fix printing of `change` tactic, which was printed as `change_no_check` and vice versa
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions