]> gitweb.factorcode.org Git - factor.git/commit
demos: use <filled-pile>
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 22 Jan 2018 16:50:33 +0000 (08:50 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 22 Jan 2018 16:50:33 +0000 (08:50 -0800)
commit795150333a56b1cb9039b8183c0d57eba16b6744
treebdfd3ac32db5f89fd49fc9da31c8ae5d44d5505b
parent5501d2446bff5295f2aefa7b29a3a553ca7ebd9d
demos: use <filled-pile>
extra/demos/demos.factor