chiark / gitweb /
~ian / secnet.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
site: key update soundness argument: deal with concurrency
[secnet.git] / stamp-h.in
1 timestamp
Ian's personal secnet repo on chiark, for work-in-progress stuff etc.