diff options
author | 2018-07-11 12:58:30 +0200 | |
---|---|---|
committer | 2018-07-11 12:58:30 +0200 | |
commit | b646ab446866160b3c657f0134e93fdf002cbc7f (patch) | |
tree | 616a864eb04c9c23ccf1c43697b3b22d79ea62cb /.merlin.in | |
parent | 79b2f30b22e1a0baeea614813e6984871ec16089 (diff) | |
parent | 3bb14bc0e3665527c8e961b1424df9284c5042b6 (diff) |
Merge PR #8035: Fix #8033: Tactic assert-suceeds has a typo in its name in the manual
Diffstat (limited to '.merlin.in')
0 files changed, 0 insertions, 0 deletions