chiark / gitweb /
style: add a comment about main() not being called