chiark / gitweb /
Abbreviate some variable names in tabsort