]> gitweb.factorcode.org Git - factor.git/commit
random: format delete-random better.
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 4 Mar 2013 01:32:53 +0000 (17:32 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 4 Mar 2013 01:32:53 +0000 (17:32 -0800)
commitbe7c98146255b21c94e17049795b05dc478785ca
tree486018aef516d8a43bef9fbea8b28dd81088e924
parent35c313c6b47caf4b16fe97a1bbe66164facc96d9
random: format delete-random better.
basis/random/random.factor