chiark / gitweb /
~ian / secnet.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 7329c71 411c2ca)
Merge subdirmk
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 29 Dec 2019 14:23:00 +0000 (14:23 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 30 Dec 2019 12:05:36 +0000 (12:05 +0000)

Trivial merge
Ian's personal secnet repo on chiark, for work-in-progress stuff etc.