You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

xjkdev 77730c3073 Added eigen3 scrapers, filters, icons, and etc.		3 years ago
..
icons/docs	Added eigen3 scrapers, filters, icons, and etc.	3 years ago
images	Run `optipng -o7` on all PNG files	5 years ago
404.html	Changed the display absolute to flex for both 404 and 500 page	5 years ago
500.html	Changed the display absolute to flex for both 404 and 500 page	5 years ago
favicon.ico	Update icons	10 years ago
favicon.pxm	Add icon source files	6 years ago
favicon@2x.pxm	Add icon source files	6 years ago
manifest.json	Revert "Update manifest.json"	4 years ago
mathml.css	Host MathML stylesheet in DevDocs	8 years ago
opensearch.xml	fix: remove cdn entirely and rely on Cloudflare	4 years ago
robots.txt	Add settings page	8 years ago