From: Mark Wooding Date: Sun, 10 Jan 2016 13:47:45 +0000 (+0000) Subject: New tool `xrepaint'. X-Git-Tag: 1.5.0~1 X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/xtoys/commitdiff_plain/dd6d43a6e256a061ecf9a5fcb43c5e45cc69f3fe?hp=dd6d43a6e256a061ecf9a5fcb43c5e45cc69f3fe New tool `xrepaint'. ---