diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-12-30 22:24:39 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2019-12-30 22:24:39 +0000 |
commit | e6a1ccc1f49488af31ff7429ff977768d3d32485 (patch) | |
tree | 0e6c920b9bb1955de444dc360072b2256060d89b /xtask | |
parent | c3d74744cdae29aa6a6bfa0cd7ab64b8b251e287 (diff) | |
parent | 233f1dd2a850a7c8c6947c88c1ce06f7a945befd (diff) |
Merge #2695
2695: Privatize highlighting r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'xtask')
0 files changed, 0 insertions, 0 deletions