rust/util
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
..
gh-pages Docs index: Sort versions in a nice way 2017-08-07 13:00:43 +02:00
cov.sh Improve the coverage script 2016-10-03 17:49:05 +02:00
dogfood.sh fix dogfood.sh 2016-10-30 14:25:06 -04:00
export.py Make Python utils more idiomatic, use better names, fix -c mode of update_wiki. 2016-08-07 08:09:26 +02:00
lintlib.py Fix the config regex for the wiki generator 2017-08-01 10:33:16 +02:00
update_lints.py every line needs to be its own string 2016-12-21 13:12:17 +01:00
update_wiki.py Make Python utils more idiomatic, use better names, fix -c mode of update_wiki. 2016-08-07 08:09:26 +02:00