chiark / gitweb /
strategy: sort out some headings
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 14 Jul 2012 01:53:52 +0000 (02:53 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 14 Jul 2012 01:53:52 +0000 (02:53 +0100)
commit389264b61a113301ca87b6d17fe19dafdd50e9e9
tree949db2de5909f6ec373c9f9637a328f8153efccb
parent517384538f93dd1d19e65f86836298c377fa04ec
strategy: sort out some headings
traversal.tex