chiark / gitweb /
Initial commit.
[chopwood] / util.py
2013-03-08 Mark WoodingInitial commit.