chiark / gitweb /
structure: add document end marker
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 4 Aug 2013 16:38:32 +0000 (17:38 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 4 Aug 2013 16:38:32 +0000 (17:38 +0100)
commit5d3c5605cb766f839aacde751367b1a3e7d93962
tree9f519e8a9253fef2113cf099d4c3167ae5511122
parent02d646dff7177c19756094eb179a5c324e268f3b
structure: add document end marker
article.tex