diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-03-17 20:08:42 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-03-17 20:08:42 +0000 |
| commit | bba474bb52e75baf4cabb3fc73f2a4c818816857 (patch) | |
| tree | 6bb31b0325e8a7b9bef577901575a048344e8eb5 /.gitignore | |
| parent | ec10835d604c534a0b0ad5fd3d8783e0bf123cbb (diff) | |
| parent | 9763f0a6bd0d576236ff126173d7df3462c22a52 (diff) | |
Merge #8071
8071: Semantic highlight intradoclinks in documentation r=Veykril a=Veykril
Co-authored-by: Lukas Wirth <[email protected]>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions