chiark / gitweb /
Foreign Ancestry: rename from Foreign Contents (and Totally Foreign Ancestry too)
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Aug 2013 13:22:02 +0000 (14:22 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Aug 2013 13:22:02 +0000 (14:22 +0100)
commitff4ffb2eb74387bab00f6f7536f1037bb9a9f0aa
tree68e276017fbe1b3d2470ab9e6cb97120211c926c
parent35d8920c70badf3ea6556ad6cf53ea96ef6aec0c
Foreign Ancestry: rename from Foreign Contents (and Totally Foreign Ancestry too)
anticommit.tex
create-base.tex
create-tip.tex
invariants.tex
lemmas.tex
merge.tex
pseudomerge.tex
simple.tex