chiark / gitweb /
capitalise a few names
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 11 Mar 2012 11:04:59 +0000 (11:04 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 11 Mar 2012 11:04:59 +0000 (11:04 +0000)
commit13abab817c73a270eb52aeba6064cfa1a79e5020
tree162e0916b668f8b3b6288b58654b42ca9c32deb7
parent90658ed7a37fd3e1dd65439b54e9dc3bd4f3b503
capitalise a few names
article.tex