chiark / gitweb /
formatting: a couple of extra [ ]
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 12 Mar 2012 15:53:40 +0000 (15:53 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 12 Mar 2012 15:59:38 +0000 (15:59 +0000)
commitacef012c91c8ce7129b0093e7645d052c77aa74f
treea118b6a6788d2d2db041af179df280441f02a7ea
parent1f8eb7a95b12515aa6b4d33ccfdabee2ff042e0f
formatting: a couple of extra [ ]
article.tex