]> gitweb.factorcode.org Git - factor.git/commit
io.random: rename to "random-readln".
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 23 Oct 2012 22:25:08 +0000 (15:25 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 23 Oct 2012 22:25:08 +0000 (15:25 -0700)
commit896d75e305696692546fe257e4712f4e82522159
tree50eaa8bed23664ae1a1cf994a00915c96169c249
parent50016099a58ff6e7c35259c03c1894a97ca6e536
io.random: rename to "random-readln".
extra/io/random/random.factor