chiark / gitweb /
locking.c: Compress vertically. Remove pointless `$Id' comment.