chiark / gitweb /
untabify source files, make indenting more uniform with GNU indent -kr --no-tabs...