chiark / gitweb /
make Perdir.mk.in optional
[subdirmk.git] / subdirmk / subdirmk.ac
2019-11-13 Ian Jacksoncheck right thing in config_targets
2019-11-13 Ian Jacksontidying
2019-11-12 Ian JacksonWIP
2019-11-12 Ian JacksonWIP REORG