diff options
| author | Maxime Dénès | 2018-04-09 10:11:48 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2018-04-09 10:11:48 +0200 |
| commit | d28546e681b6436386ab9a1e8907068348a1cff0 (patch) | |
| tree | b827beb4b2c2a5e8f99813948abacf88d048e40d /kernel | |
| parent | d82346e23d36ff8d09a1628c5c592a49ba370bab (diff) | |
| parent | 6f23cba6d691e149e62f36b46eb4c58ef6a826c8 (diff) | |
Merge PR #7070: Clarify wording in tactics documentation.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions