chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ae86a53) | patch
authproofs: Add some inline annotations
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 30 May 2021 12:27:14 +0000 (13:27 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 30 May 2021 12:44:07 +0000 (13:44 +0100)
commiteae9f5ca1357dc932f85a4bb03e625fd783b07a2
tree0d557b7e75560bd54990a43b9746982070cc88aftree | snapshot
parentae86a5352b6f25bb7fd02c21dfaff196052ad936commit | diff
authproofs: Add some inline annotations

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/authproofs.rs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.