devdocs

Author	SHA1	Message	Date
Jasper van Merle	c01982ca9a	Fix favicon on HiDPI displays	6 years ago
Jasper van Merle	921a61cd1f	Fix service workers in production, for real this time	6 years ago
Jasper van Merle	3d974a42fa	Fix service workers in production	6 years ago
Jasper van Merle	2bbbc66e8c	Update quotes	6 years ago
Jasper van Merle	27167a49a6	Update offline page	6 years ago
Jasper van Merle	576f32dae1	Make service worker opt-in in development	6 years ago
Jasper van Merle	8ed1f4ace1	Replace AppCache with a service worker	6 years ago
Thibaut Courouble	7419d24453	Rename docs_host → docs_origin	9 years ago
Thibaut Courouble	d6823d823a	Make hardcoded refs to devdocs.io and cdn.devdocs.io config vars	9 years ago
Thibaut Courouble	9612016351	Load MathML polyfill stylesheet only when needed	9 years ago
Thibaut Courouble	e1ca01fca4	Tweak JS error logging	9 years ago
Thibaut Courouble	ed0fa5dcc7	Change app.config.version to an integer instead of string	9 years ago
Thibaut Courouble	a639aedcd9	Remove index_path and db_path from docs manifest	9 years ago
Thibaut	977e991ff1	Include default docs in appcache manifest	10 years ago
Thibaut	25f844da9b	Add ability to cache complete documntations in IndexedDB	10 years ago
Thibaut	18986c1814	Going open source	12 years ago