diff options
| author | Théo Zimmermann | 2019-01-29 09:51:20 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-01-29 09:51:20 +0100 |
| commit | 10253b1e744e8075b708a9fe328f49c06bbc3fef (patch) | |
| tree | 9ce2cbb0384e8c92a6a85c986fd50e140009e58b /dev/tools | |
| parent | 0a75fb2209643cb35285f584f3ee313242c6d3e7 (diff) | |
| parent | c369d5769c1f10058d0809f460341497d7ef7bcd (diff) | |
Merge PR #9424: Surround "assumption" with :tacn:`` in tactics.rst
Reviewed-by: jfehrle
Diffstat (limited to 'dev/tools')
0 files changed, 0 insertions, 0 deletions