diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2018-05-14 10:46:08 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2018-05-14 10:46:08 +0200 |
commit | 4094a8c2cac668db112fc84f5d1b287eacbf6700 (patch) | |
tree | 320ec6a2dfb65ccd5a775dcab6fe7afe008eced3 /.github | |
parent | 12109393c957ef64f7dc8d47b745a75392e4382c (diff) | |
parent | 9b070738af8fbfb6f76f2963c630414a76817852 (diff) |
Merge PR #7365: Mini fixes in the tactics chapter
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions