chiark / gitweb /
Remove unnecessary <ctype.h> header.