]> gitweb.factorcode.org Git - factor.git/commit
io.directories: delete directory-tree-files.
authorJohn Benediktsson <mrjbq7@gmail.com>
Fri, 26 Feb 2021 00:45:03 +0000 (18:45 -0600)
committerJohn Benediktsson <mrjbq7@gmail.com>
Fri, 26 Feb 2021 00:45:51 +0000 (18:45 -0600)
commit122de83c6fdf082f774377b2985f986dfed0356f
treecbd2e4257156ab02424bdf5d8e00b3850e470b65
parentfd42dc06f4ab7f790af389ee993b0fcd1638d3f3
io.directories: delete directory-tree-files.

recursive-directory-files is strictly superior.
basis/io/directories/directories-docs.factor
basis/io/directories/directories-tests.factor
basis/io/directories/directories.factor
basis/vocabs/metadata/resources/resources.factor
extra/codebook/codebook.factor