chiark / gitweb /
dice: Rename remprop parameter to wasm die_cooldown_path
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 16 Apr 2022 11:38:20 +0000 (12:38 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 16 Apr 2022 11:59:05 +0000 (12:59 +0100)
commit0de348ccad86134560072596224ed918501ac833
tree89d1244b7a5d20ab5105fa902fa2523f5029419f
parent3669f815dd5ddeb45bca98445b613a5a69df16a6
dice: Rename remprop parameter to wasm die_cooldown_path

Apparently I missed renaming this when I introduced the "rempprop"
name.

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