chiark / gitweb /
Removed duplicate definition