chiark / gitweb /
remove a couple of spurious $\qed$
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 16 Mar 2012 22:43:22 +0000 (22:43 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 16 Mar 2012 22:43:22 +0000 (22:43 +0000)
commit5405b5e809798f9129978850e64cd811ecc95241
tree17e5339cc1fbb8d4e0ff2816eb1cd6f4aaf70231
parent3a480476887e4dfb10fbb3585adfc8b04d16859d
remove a couple of spurious $\qed$
anticommit.tex