diff options
| author | coqbot-app[bot] | 2020-11-05 18:32:02 +0000 |
|---|---|---|
| committer | GitHub | 2020-11-05 18:32:02 +0000 |
| commit | aa634c706845ada48590ffe6b7fe4d4f1c225b9b (patch) | |
| tree | 7f0ed4335a5729cfc24a1995718605541ba183f3 /plugins | |
| parent | d276a494d29ea69c6a60b16da5dddb9d39f287ca (diff) | |
| parent | 3a1bea8d1a77a97664a2148f9e05270b3169d7fe (diff) | |
Merge PR #12797: [refman] Take large chunks out of the tactics chapter.
Reviewed-by: jfehrle
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions