chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8a22e31) | patch
progress: Allow impl to have different lifetimes
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 20 May 2021 02:23:33 +0000 (03:23 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 20 May 2021 02:23:33 +0000 (03:23 +0100)
commitdb0317d2a941ee6b921a54690080b84da94df7ca
treed8700f3ce45bd63853bc7450ebaff99a68be4ad0tree | snapshot
parent8a22e3191dd356961558de2f19b7be973bba5ba9commit | diff
progress: Allow impl to have different lifetimes

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