diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-10-15 13:59:49 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-10-15 13:59:49 +0100 |
| commit | d447a9a381ecf16ea010b9953159ed533d9ba509 (patch) | |
| tree | a0b82dd504b2c9398cf3e01628f359f56bfafbc6 /docs/dev/style.md | |
| parent | 7dd09a7b34d7c9cc2739a1106b3e383b7d9044ff (diff) | |
| parent | f8a7cc678db857ac177e177020e2bc051822f9a5 (diff) | |
Merge #6240
6240: Document auto_import as a feature r=Veykril a=Veykril
Closes #6225
Co-authored-by: Lukas Wirth <[email protected]>
Diffstat (limited to 'docs/dev/style.md')
0 files changed, 0 insertions, 0 deletions