chiark / gitweb /
Correct ordering of configuration key table.