chiark / gitweb /
Removed duplicated definition