chiark / gitweb /
server/admin.c: Some light reformatting.