chiark / gitweb /
define patch
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 1 Mar 2012 00:11:46 +0000 (00:11 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 1 Mar 2012 00:11:46 +0000 (00:11 +0000)
commit1b0eeef7759be1fc1f0f856166c4ee0eb3769ff8
treebca352723bab0496f598583550bfa9b9587fc0a2
parent93658ccf74d659dfcc2f00c6c29928804aa68600
define patch
article.tex