chiark / gitweb /
currency: Rename value
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 30 Apr 2022 12:10:38 +0000 (13:10 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 30 Apr 2022 14:15:30 +0000 (15:15 +0100)
commit1ea826efc02ec744f21be8d9a1ac6730dada423e
tree8df8ad439e8eb70a8af8f67d8893757d035387ac
parent04a7230661316d69a7531cb6da8d585a7ff4f1a5
currency: Rename value

Having the two pieces here is confusing.  All the variables should say
which piece they are.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/currency.rs