]> gitweb.factorcode.org Git - factor.git/commit
basis/extra: move tools.
authorJohn Benediktsson <mrjbq7@gmail.com>
Fri, 3 Apr 2020 00:06:50 +0000 (17:06 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Fri, 3 Apr 2020 00:06:50 +0000 (17:06 -0700)
commit94d97a20f5408d7be9c87fd02a6cecab70dd7d51
tree016748b9c880f6502b62465152af54a7ab9ea88b
parent7deab681c622227c5b9b65e27be411cd20c5db3b
basis/extra: move tools.
basis/tools/directory-to-file/authors.txt [deleted file]
basis/tools/directory-to-file/directory-to-file.factor [deleted file]
basis/tools/file-to-directory/authors.txt [deleted file]
basis/tools/file-to-directory/file-to-directory.factor [deleted file]
extra/tools/directory-to-file/authors.txt [new file with mode: 0644]
extra/tools/directory-to-file/directory-to-file.factor [new file with mode: 0644]
extra/tools/file-to-directory/authors.txt [new file with mode: 0644]
extra/tools/file-to-directory/file-to-directory.factor [new file with mode: 0644]