diff options
| author | Ryan Scott | 2019-01-28 15:26:29 -0500 |
|---|---|---|
| committer | GitHub | 2019-01-28 15:26:29 -0500 |
| commit | c369d5769c1f10058d0809f460341497d7ef7bcd (patch) | |
| tree | 9ce2cbb0384e8c92a6a85c986fd50e140009e58b /dev | |
| parent | 0a75fb2209643cb35285f584f3ee313242c6d3e7 (diff) | |
Surround "assumption" with :tacn:`` in tactics.rst
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions