chiark / gitweb /
Remove deprecated option