diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-09-22 11:25:17 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-09-22 11:25:17 +0200 |
commit | 7c760b08d690922fd15c489dd63a7be534d765ab (patch) | |
tree | 067befdfe168d19fdaf56defb77b12cb37d19b72 /test-suite/bugs/closed/5683.v | |
parent | 3699f2ca0980dfcc43d80b64e42378b5f5f08115 (diff) | |
parent | 8de84e8e7bc394bf231ca9164d7e3951d6edfae0 (diff) |
Merge PR #1071: Mark "Set Tactic Compat Context" as deprecated.
Diffstat (limited to 'test-suite/bugs/closed/5683.v')
0 files changed, 0 insertions, 0 deletions