chiark / gitweb /
wip merge complex - fix bug, improve merge ends condition
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 8 Mar 2012 16:40:16 +0000 (16:40 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 8 Mar 2012 16:40:16 +0000 (16:40 +0000)
commit38b8505b333047f5e586c6060a3a6b5e11ea050a
tree650f1781aa870a3228877af359757d561e6e266f
parent4bdffaf2a0fe8fdd585221aa2e43171028deca7b
wip merge complex - fix bug, improve merge ends condition
article.tex