rust/util/gh-pages
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
versions.html Docs index: Sort versions in a nice way 2017-08-07 13:00:43 +02:00