diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-08-19 16:57:21 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-08-19 16:57:21 +0100 |
commit | 686a6a26fd2263e4bb958fbcf94b04244ed73e08 (patch) | |
tree | 100c26d33895d03ecf2ea03659657d4904e8f130 /docs | |
parent | 45c24ae0a5f9fedac996bdc26244cb1161810722 (diff) | |
parent | b56e02007798db24600ccae51c0e892919635cad (diff) |
Merge #5819
5819: Apply couple of rule of thumbs to simplify highlighting code
r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions