rust - https://github.com/rust-lang/rust

Age	Commit message (Collapse)	Author	Lines
2018-10-05	dro -> duckduckgo	Kazuyoshi Kato	-2/+2
	dro means "doc.rust-lang.org", but it is too cryptic.
2018-09-30	Unify the search boxes	Kazuyoshi Kato	-24/+40
	Instead of having the standard library search and DuckDuckGo search. This change merges two of them, with radio buttons.
2018-09-26	Add the library search box on the 404 page	Kazuyoshi Kato	-15/+32
	It actually has a link to search already, but it would be better to have the search "box" as like index.md to be consistent. <style> can be shared with index.md, but these pages currently use https://doc.rust-lang.org/rust.css directly. Fixes #14572.
2017-12-07	fix markdown file differences	Guillaume Gomez	-7/+7

2017-11-04	Update reference link in doc's 404	Ryan Scheel	-1/+1
	It's currently linking to a page that says it's on the page I'm changing the link too.
2015-08-09	Use https URLs to refer to rust-lang.org where appropriate.	Eli Friedman	-4/+4
	Also fixes a few outdated links.
2015-05-27	Fix section headers on Not Found page	Steve Klabnik	-3/+3
	Fixes #25794
2015-04-28	Fix #24872, XSS in docs not found page.	Chris Morgan	-1/+5

2015-03-15	Strip all leading/trailing newlines	Tamir Duberstein	-1/+0

2015-01-12	Remove PDF link on 404 page	Steve Klabnik	-1/+4
	Fixes #17368
2014-11-02	cleaned up ids, added direct rust doc search	Sean Jensen-Grey	-7/+27
	Search functionality uses both duckduckgo for site wide doc search and the rust specific documentation search @ http://doc.rust-lang.org/core/?search=unwrap_or_else
2014-11-01	add populated search box to docs 404 page	Sean Jensen-Grey	-0/+24
	reference https://github.com/rust-lang/rust/issues/18498
2014-09-22	manual -> reference & formatting	Steve Klabnik	-1/+1
	'reference' sounds better than 'manual' to me here, and rust.html is certainly wrong. I also wrapped everything to 80 cols.
2014-05-21	Change static.rust-lang.org to doc.rust-lang.org	Alex Crichton	-3/+2
	The new documentation site has shorter urls, gzip'd content, and index.html redirecting functionality.
2014-05-13	docs: Add a not found page	Richo Healey	-0/+20