diff options
| author | Guillaume Gomez <guillaume.gomez@huawei.com> | 2022-08-11 23:03:45 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume.gomez@huawei.com> | 2022-08-14 11:30:52 +0200 |
| commit | 68f327bcc112ffb4261980c04e58d333b5d97b6e (patch) | |
| tree | b8703d7a311f8689ecd5cc466216dd1903dbe936 /src/librustdoc/html/static/css/noscript.css | |
| parent | 2fbc08e2ce64dee45a29cb6133da6b32366268aa (diff) | |
| download | rust-68f327bcc112ffb4261980c04e58d333b5d97b6e.tar.gz rust-68f327bcc112ffb4261980c04e58d333b5d97b6e.zip | |
Merge HTML elements in highlighting when they can be merged together
Diffstat (limited to 'src/librustdoc/html/static/css/noscript.css')
0 files changed, 0 insertions, 0 deletions