chiark / gitweb /
\nothaspatch with two slashes again as it's not equivalent to \neg \haspatch; partial...
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 25 Mar 2012 19:41:28 +0000 (20:41 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 25 Mar 2012 19:41:28 +0000 (20:41 +0100)
commit284c804bd15c5465bb6a1ded29369435f4f699e4
tree3855f30a1e1b8b427228ce4ca7718742ccf6245a
parent45d3a192063cc2e12dea5fc84a8ffcf7c2a220e2
\nothaspatch with two slashes again as it's not equivalent to \neg \haspatch; partial revert of d00298b5b6d70bd919824ab8b79d71663f3cdfa6
article.tex