diff options
| author | Jim Fehrle | 2019-05-15 13:08:02 -0700 |
|---|---|---|
| committer | Jim Fehrle | 2019-05-16 20:33:55 -0700 |
| commit | 7501326a228a5d0af1ad1d5bef4e8640cbd1e43f (patch) | |
| tree | edb7d34a298c1b82db38c92b48920763e5d6ecf8 /generic | |
| parent | d8b501a5caf50ede62631e3fa30aa89f53db045f (diff) | |
Do a "Set Diffs" whenever backtracking. This also re-prints the
context (with diff annotations when enabled).
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions