chiark / gitweb /
Fix `distcheck' complaints.
[disorder] / common /
2016-01-22 Mark WoodingFix `distcheck' complaints.