chiark / gitweb /
CREDITS: Credit Mark properly (!)
[secnet.git] / subdirmk / subdirmk.ac
2019-11-14 Ian JacksonMerge commit 'ff11733b6b7d7920033f81c4669ebba9131b984f...
2019-11-13 Ian JacksonAdd 'subdirmk/' from commit 'f1789a0ae66174a95c8d629738...
2019-11-13 Ian JacksonTranspose directories
2019-11-13 Ian Jacksonadd copyright and licence notices to other files
2019-11-13 Ian Jacksonchange filenames
2019-11-13 Ian Jacksonalways run regenerate from config.status
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