chiark / gitweb /
wip merge before rejoin tip merge condition
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 2 Mar 2012 16:24:58 +0000 (16:24 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 2 Mar 2012 16:24:58 +0000 (16:24 +0000)
commit400772c417bd54383994df5a227df88adc769171
treeacb75f8e366699a5d964e3a37be441b7c57a2d69
parent3d1111b8b0f9f80fab557ecd0e9faf8aab04f6a9
wip merge before rejoin tip merge condition
article.tex