diff wk.py @ 232:dbc855c585cf

Fixed a bug in the setup script.
author Ludovic Chabant <ludovic@chabant.com>
date Fri, 14 Mar 2014 21:41:15 -0700
parents 2dd7535045eb
children
line wrap: on
line diff