]> gitweb.factorcode.org Git - factor.git/commit
dice: fix for recent random refactoring
authorJohn Benediktsson <mrjbq7@gmail.com>
Sun, 26 Feb 2023 22:17:10 +0000 (14:17 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 26 Feb 2023 22:17:10 +0000 (14:17 -0800)
commitcf06ea21dada6e09515be540a6bddcedc33f626c
tree7c2d96c2eadb04cca068631bc8011a4d74fbdf89
parent930bc25ad350e83806e482d130de6a589cee886a
dice: fix for recent random refactoring
extra/dice/dice.factor