diff options
author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-05-29 20:02:06 +0100 |
---|---|---|
committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-05-29 20:02:06 +0100 |
commit | 7e9c5e32e5f7819b340fc2adb63b2ffeeb2627cf (patch) | |
tree | a7cd01d9b83182fa8c5bb0c3767b7cb04f8d3f9d /docs/dev/guide.md | |
parent | cb21a219987eac0f8dc08f0c858e8a7154fccd04 (diff) | |
parent | b1e59cb095fa891b9739f6da4f2686e50d64be04 (diff) |
Merge #1344
1344: Highlight primitive types r=matklad a=lnicola
This is a hack to get better highlighting of primitive types until #1340.
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to 'docs/dev/guide.md')
0 files changed, 0 insertions, 0 deletions