diff options
| author | Vincent Laporte | 2020-04-27 18:02:37 +0200 |
|---|---|---|
| committer | Vincent Laporte | 2020-04-27 18:02:37 +0200 |
| commit | f9f47108598fa2dfe705a4a58956803a4918bc52 (patch) | |
| tree | 149311ec9263571bcdeea5f3dc9625c7690794a5 /dev/ci | |
| parent | e0d7b05789d7c6d341d3001c227d99a278743fd1 (diff) | |
| parent | 0a38eb0630cab142f3d470e561ddb5090055068a (diff) | |
Merge PR #12132: [refman] Remove references to omega from Tactics chapter.
Reviewed-by: vbgl
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions