| .. |
|
themes
|
Fix invalid code css rule
|
2018-08-03 23:30:16 +02:00 |
|
brush.svg
|
Change theme icon
|
2018-01-22 21:47:39 +01:00 |
|
COPYRIGHT.txt
|
Remove jquery dependency
|
2017-05-02 13:54:42 +02:00 |
|
FiraSans-LICENSE.txt
|
webfonts: check-in licenses
|
2014-07-08 21:55:37 +02:00 |
|
FiraSans-Medium.woff
|
rustdoc: Fix inclusion of the new fonts
|
2014-05-03 02:09:29 -07:00 |
|
FiraSans-Regular.woff
|
rustdoc: Fix inclusion of the new fonts
|
2014-05-03 02:09:29 -07:00 |
|
Heuristica-Italic.woff
|
rustdoc: Fix inclusion of the new fonts
|
2014-05-03 02:09:29 -07:00 |
|
Heuristica-LICENSE.txt
|
Strip trailing whitespace
|
2015-03-15 11:25:43 -07:00 |
|
LICENSE-APACHE.txt
|
Make rustdoc output comply with licenses
|
2015-09-19 10:42:03 +01:00 |
|
LICENSE-MIT.txt
|
Make rustdoc output comply with licenses
|
2015-09-19 10:42:03 +01:00 |
|
main.js
|
Auto merge of #51854 - davidtwco:rfc-2008-rustdoc, r=QuietMisdreavus
|
2018-07-19 19:03:03 +00:00 |
|
normalize.css
|
core: rename strbuf::StrBuf to string::String
|
2014-05-24 21:48:10 -07:00 |
|
rustdoc.css
|
Make entire row of doc search results clickable
|
2018-08-03 18:29:49 -04:00 |
|
settings.css
|
Add rustdoc settings menu
|
2018-04-17 23:35:43 +02:00 |
|
settings.js
|
Remove link generation on image, favicon and logo in settings
|
2018-04-21 21:59:12 +02:00 |
|
SourceCodePro-LICENSE.txt
|
Strip trailing whitespace
|
2015-03-15 11:25:43 -07:00 |
|
SourceCodePro-Regular.woff
|
webfonts: serve Source Code Pro locally
|
2014-07-08 20:31:26 +02:00 |
|
SourceCodePro-Semibold.woff
|
webfonts: serve Source Code Pro locally
|
2014-07-08 20:31:26 +02:00 |
|
SourceSerifPro-Bold.woff
|
Update one corrupt webfont
|
2014-11-01 00:15:35 +01:00 |
|
SourceSerifPro-LICENSE.txt
|
Strip trailing whitespace
|
2015-03-15 11:25:43 -07:00 |
|
SourceSerifPro-Regular.woff
|
webfonts: proper fix
|
2014-07-08 20:29:36 +02:00 |
|
storage.js
|
Fix anchors issue when everything is collapsed
|
2018-04-04 16:16:53 +02:00 |
|
wheel.svg
|
Add rustdoc settings menu
|
2018-04-17 23:35:43 +02:00 |