chiark / gitweb /
merge reference to no replay fix ref to be more regular
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 11 Mar 2012 12:35:23 +0000 (12:35 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 11 Mar 2012 12:35:23 +0000 (12:35 +0000)
commitc132ec1004fa71f8ea8467b659d3f5996089f1dc
tree035818434ae23d292ce7623262c984d404297d9d
parente75096d634b2f0909be83255eddbdadb148a5620
merge reference to no replay fix ref to be more regular
article.tex