diff wk.py @ 199:20f37951b813

Small optimization.
author Ludovic Chabant <ludovic@chabant.com>
date Tue, 11 Feb 2014 08:10:46 -0800
parents a71822a4beed
children c6dd9b0c5009
line wrap: on
line diff