chiark / gitweb /
document -j option in head comment
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 9 Mar 2014 18:22:10 +0000 (18:22 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 9 Mar 2014 18:22:10 +0000 (18:22 +0000)
commitfd709c59f86b3d8ddd270157cf602c3c6abc094d
treee9805ca125de572eea00c6fa77171501094016c1
parent1308bcff6d57a514091e9924bb7e37298b404b77
document -j option in head comment
main.c