chiark / gitweb /
Tidy up the software index file.