chiark / gitweb /
improve merge ends formatting
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 8 Mar 2012 16:20:50 +0000 (16:20 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 8 Mar 2012 16:20:50 +0000 (16:20 +0000)
commit13285d550a2eceb866519b89d1ed3c4894f3db65
tree67b7a7c3cc811618a423c6905942513c5e8f3dc2
parent0ea398fd0deefa25d31fb4caa8903a930aea5cf8
improve merge ends formatting
article.tex