chiark / gitweb /
doxygen: clean up function documentation.