chiark / gitweb /
fix some headings
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 11 Mar 2012 17:36:15 +0000 (17:36 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 11 Mar 2012 17:36:15 +0000 (17:36 +0000)
commited0c2b492c0fc7fd6b4917a39649421edb8f9605
treea6bc8aba7ef8627f039456e2e1c89ffd1d0f77f1
parentef10a30be6c13c72ef3b33730d5f968bdc794473
fix some headings
article.tex