chiark / gitweb /
fix EXTRA_DIST
[disorder] / images / play.png
images/play.png