chiark / gitweb /
xrepaint.c: Close the display explicitly at the end.
[xtoys] / xrepaint.1
2016-01-10 Mark WoodingNew tool `xrepaint'.