chiark / gitweb /
change filenames
[subdirmk.git] / autogen.sh
2019-11-12 Ian JacksonWIP