]> gitweb.factorcode.org Git - factor.git/commit
io.random: adding random-file-line(s)
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 16 Jan 2024 19:09:26 +0000 (11:09 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 16 Jan 2024 20:12:10 +0000 (12:12 -0800)
commit09ff04e98eecbee4e7e2b2b99beeda5c6aae7db1
treeac920872b585a8a4bf95acc369c45668857732c5
parent730364db30eee2f89231f6013600c1c6fda9e148
io.random: adding random-file-line(s)
extra/io/random/random.factor