chiark / gitweb /
use new extended Self Tip Inpatch
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 16 Mar 2012 23:00:00 +0000 (23:00 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 16 Mar 2012 23:00:00 +0000 (23:00 +0000)
commit26a840c1b223aa5b9d9fd1dc9e7c1922c87cf5f5
treec16088424edfed193f670bf0cbb581495f784b7d
parent57f83cd8bc6bcf23e45739c00c83c9a8672ae701
use new extended Self Tip Inpatch
merge.tex