New tool `xrepaint'.
[xtoys] / debian / xtoys-gtk.install
2008-03-23 Mark WoodingRewrite graphical tools in Python.