chiark / gitweb /
Introduce a `warn' output operation.
[chopwood] / dbmaint.py
2013-03-08 Mark WoodingInitial commit.