diff options
| author | Erik Martin-Dorel | 2016-09-25 00:25:34 +0200 |
|---|---|---|
| committer | Erik Martin-Dorel | 2016-09-25 00:25:34 +0200 |
| commit | 71be0c69ff955b2e79f456b6dad5c4406fc08e71 (patch) | |
| tree | b63fc619d1d9bc3843a17e8da4f2a415dbccf5d5 /FAQ.md | |
| parent | df812155800f2fb3aea39a936a6420dc79a3a501 (diff) | |
proof-retract-before-change: Fix #41 by saving/restoring the match data.
Diffstat (limited to 'FAQ.md')
0 files changed, 0 insertions, 0 deletions