diff options
| author | Clément Pit-Claudel | 2020-05-20 14:19:22 -0400 |
|---|---|---|
| committer | Clément Pit-Claudel | 2020-05-20 14:19:22 -0400 |
| commit | 5bf16099faa02b07c2f0e26927a56e26959b6128 (patch) | |
| tree | 6fbd0e7ef9bd3d78e87aa17bd68882e8876385e1 /tools | |
| parent | 9a8e6cbe372474c82f8988259f80e8b4c0a819c0 (diff) | |
| parent | 192d4bddea6df1b1ac9cad8354b0c821e1ba2534 (diff) | |
Merge PR #12377: Adapt the documentation to the move from Gitter to Zulip.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions