chiark / gitweb /
dice: Provide die_cooldown_path
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 11 Apr 2022 18:10:36 +0000 (19:10 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 15 Apr 2022 18:04:23 +0000 (19:04 +0100)
commitce3b5f1de498405b83281fd8408b0f7484a21821
tree2db3dfe167b73e37ee0a2f0d6e31a16b254f23dd
parent9c87e1ccd5dea4d337dc95e7271d88d41a9068da
dice: Provide die_cooldown_path

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