chiark / gitweb /
Fix build system.
[mm] / configure.ac
2018-09-04 Mark WoodingFix build system.