chiark / gitweb /
merge remove redundant element in condition
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 11 Mar 2012 10:32:28 +0000 (10:32 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 11 Mar 2012 10:32:28 +0000 (10:32 +0000)
commit90658ed7a37fd3e1dd65439b54e9dc3bd4f3b503
tree2ddf15b2672ebe67cd0b72613041bacdfcfa0b91
parentf8dce57b7b88b1ecac72b81f3d3511630b5c7d8d
merge remove redundant element in condition
article.tex