chiark / gitweb /
get rid of a leftover spurious \neg[]
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 25 Mar 2012 19:48:22 +0000 (20:48 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 25 Mar 2012 19:48:27 +0000 (20:48 +0100)
commit3ac7463b1a5b9e66ccde2ab7f5a16a294812114e
tree54bcf71dc6108faf76e099636eb3beadc585d0f5
parentdbc2fa88cece12d33ca5788ad5d359f77676a802
get rid of a leftover spurious \neg[]
merge.tex