chiark / gitweb /
merge: rename Foreign Merge (was Foreign Merges)
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Aug 2013 19:07:35 +0000 (20:07 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Aug 2013 19:07:35 +0000 (20:07 +0100)
commit13bb63711973608b167a8624d32e5323b866bbe6
treeb846f6d3e1c7b6ae91548d5b3ff72748d3d4a921
parent01bce0e148dfb9d8d318605c49d622b545ea7c0a
merge: rename Foreign Merge (was Foreign Merges)
merge.tex