diff options
| author | Clément Pit-Claudel | 2018-08-28 13:12:54 -0400 |
|---|---|---|
| committer | Clément Pit-Claudel | 2018-08-28 13:12:54 -0400 |
| commit | da4e768c7cbbf5b72137c19691781b282b977e71 (patch) | |
| tree | 36f11f5b23165447cb993cd229cc15adc7cac3ed /dev | |
| parent | 7e614ee91a9e5f67bab7dce0ff64dcae9a2a2419 (diff) | |
| parent | cf919bfb26e5201e6bb77045447c645cda8413bc (diff) | |
Merge PR #8135: Sphinx fixing of the beginning of the Tactics chapter.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions