diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-05-22 15:41:21 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2021-05-22 15:41:21 +0100 |
commit | 5b6fa95699423c14c51f13a9632c2db6163c82e4 (patch) | |
tree | 8d9a00b7ec4bd882e6a62d86019f1b14c50a8025 /docs/dev/syntax.md | |
parent | a99de65573d59d6398f472b0d42daabe9e8a5410 (diff) | |
parent | a88c7c04d28d6263d7bca69ee3014e42185030de (diff) |
Merge #8924
8924: Add last remaining module docstring r=flodiebold a=flodiebold
That was easier than expected.
Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to 'docs/dev/syntax.md')
0 files changed, 0 insertions, 0 deletions