chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 90ac911) | patch
dice: cooldown_path etc.: rename remaining proportion to "remprop"
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 11 Apr 2022 21:07:58 +0000 (22:07 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 15 Apr 2022 19:39:28 +0000 (20:39 +0100)
commit168ad7939b87131d40138046c31848132376bc18
tree8b779ff0fb980574f1e2296de89cb626254d2dedtree | snapshot
parent90ac911c58ec84c2443a6ad8557ec7be5dfb3ed9commit | diff
dice: cooldown_path etc.: rename remaining proportion to "remprop"

This distinguishes "remaining" (a duration) from "remprop" (a proportion).

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