chiark / gitweb /
math/mptypes.c: Remove obsolete file.