Pascal Hertleif 02f2035389 Docs index: Sort versions in a nice way ... This introduces a very sophisticated algorithm to determine the ordering of versions on the rendered docs' start page. (Spoiler alert: It maps "master" and "current" to the largest possible float values and converts a version like "1.2.3" to "1002003".)		2017-08-07 13:00:43 +02:00
..
index.html	Update URL in rendered docs Github ribbon	2017-08-03 21:21:59 +02:00
versions.html	Docs index: Sort versions in a nice way	2017-08-07 13:00:43 +02:00