chiark / gitweb /
dgit(1): Fix a wrong reference to \fp, which should be \fP.