chiark / gitweb /
fix non-topbloke merges empty ends proof
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 18 Mar 2012 10:55:40 +0000 (10:55 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 18 Mar 2012 10:55:40 +0000 (10:55 +0000)
commitd3b82154c687961e6c53e88d3eca0729f632c347
tree757340d9ff119a6c82fe366b77a4f49d180c65b7
parentc267ccaf70f120bd32e73ffdba695a749c1a798b
fix non-topbloke merges empty ends proof
merge.tex