chiark / gitweb /
operation.py: Fix stupid typo.
authorMark Wooding <mdw@distorted.org.uk>
Tue, 4 Feb 2014 14:32:10 +0000 (14:32 +0000)
committerMark Wooding <mdw@distorted.org.uk>
Tue, 4 Feb 2014 14:32:10 +0000 (14:32 +0000)
I don't think that attribute was used for anything.  It will be soon,
though.


No differences found