chiark / gitweb /
src/types.c: Fix up the table-of-contents comments.