chiark / gitweb /
Add printf attributes in exported headers