chiark / gitweb /
merge foreign inclusion
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 11 Mar 2012 11:51:01 +0000 (11:51 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 11 Mar 2012 11:51:01 +0000 (11:51 +0000)
commite8ddb2493ac0e3bebb48f9151d492f2fcdc3a3ec
tree51dcfd531fa27316a6e324f6b9f9c883a904f431
parent1aa4dce9dace603365ff1b302c938b6bfe9bbc1e
merge foreign inclusion
article.tex