chiark / gitweb /
etc/common-cross-config.site: Set `ac_tool_prefix' explicitly.
[mdw-cross] / tools /
2018-11-24 Mark WoodingRearrange everything.