jqueue: Remove unused run_op_index attribute
authorMichael Hanselmann <hansmi@google.com>
Mon, 14 Sep 2009 15:51:25 +0000 (17:51 +0200)
committerMichael Hanselmann <hansmi@google.com>
Tue, 15 Sep 2009 11:19:50 +0000 (13:19 +0200)
commitd25c1d6a2ed7638dfbc39b10ccbfa6b849ad9a07
tree13a3ab51993aca619fce3a09b03c534dd07384b7
parent1d2dcdfd59298fc8aad16d98ae59beaf8e05a4f6
jqueue: Remove unused run_op_index attribute

Signed-off-by: Michael Hanselmann <hansmi@google.com>
Reviewed-by: Iustin Pop <iustin@google.com>
lib/jqueue.py