chiark / gitweb /
notation: we have defined \setmerge now
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 7 Jul 2012 16:59:17 +0000 (17:59 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 7 Jul 2012 16:59:17 +0000 (17:59 +0100)
commit504314d4eb8beba3ea97850f02e89500bfd9b2bf
treed092386609d525b7fe678aee8b1feba7aa00faad
parentbf00a6804e4075d8639f69c96aabf4150506329c
notation: we have defined \setmerge now
ranking.tex