chiark / gitweb /
~ian / subdirmk.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge branch 'master' of https://git.distorted.org.uk/~markw/subdirmk
[subdirmk.git] / subdirmk / subdirmk.ac
2019-11-13 Ian Jacksonadd copyright and licence notices to other files blob | commitdiff | raw
2019-11-13 Ian Jacksonchange filenames blob | commitdiff | raw | diff to current
2019-11-13 Ian Jacksonalways run regenerate from config.status blob | commitdiff | raw | diff to current
2019-11-13 Ian Jacksoncheck right thing in config_targets blob | commitdiff | raw | diff to current
2019-11-13 Ian Jacksontidying blob | commitdiff | raw | diff to current
2019-11-12 Ian JacksonWIP blob | commitdiff | raw | diff to current
2019-11-12 Ian JacksonWIP REORG blob | commitdiff | raw | diff to current
Unnamed repository; edit this file 'description' to name the repository.