chiark / gitweb /
merge fixes/clarifications - fix several P to \p
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 16 Mar 2012 22:00:55 +0000 (22:00 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 16 Mar 2012 22:00:55 +0000 (22:00 +0000)
commitf11a862c007560f325ac57e618aef52e3c03d61c
tree5518a81a3d7327b5c5ecc52567d060b8d4487d83
parent722096812d6ecc59ba63c420d781c1d63fcfab6f
merge fixes/clarifications - fix several P to \p
merge.tex