chiark / gitweb /
style: util.[ch]: Move doc comments into header file