chiark / gitweb /
strategy: calculate/use \allsrcs
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 9 Jun 2012 15:36:00 +0000 (16:36 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 9 Jun 2012 15:36:44 +0000 (16:36 +0100)
commit2621bc3962d0f9a3d12b2318aeb3f425fe6a28c7
tree3915305f1636bf5051a5244851cbe897200d37ab
parentfd9a2351715889769471bff44793f5333c2c7250
strategy: calculate/use \allsrcs
ranking.tex