chiark / gitweb /
Remove `@ signs -- autoconf mangles them too badly.