diff options
| author | Clément Pit-Claudel | 2019-02-14 13:49:43 -0500 |
|---|---|---|
| committer | Clément Pit-Claudel | 2019-02-14 13:49:43 -0500 |
| commit | 5ea4369bd4604b61ccc669f136827299920fb635 (patch) | |
| tree | 20bf0291452f70d003627112fe88b94dff22714a /dev/ci | |
| parent | 7831c257168b74fc8e7132af2ec0b7a8aa00d539 (diff) | |
| parent | 57c69e8b78df99e69a31c0a6129346915de5e38c (diff) | |
Merge PR #9571: Document the now_show tactic.
Ack-by: Zimmi48
Reviewed-by: cpitclaudel
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions