]> gitweb.factorcode.org Git - factor.git/commit
tools.copy: adding "copy" tool.
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 1 Apr 2015 21:30:49 +0000 (14:30 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 1 Apr 2015 21:30:49 +0000 (14:30 -0700)
commit24bd7c098f530e9d647f6cceeb597c41550f3029
tree44175a4698ff4e0984fdd07ca43bb87e45fbfbab
parent2e56aebcb29a12f61dfb640a40ee8523651cee61
tools.copy: adding "copy" tool.
extra/tools/copy/authors.txt [new file with mode: 0644]
extra/tools/copy/copy.factor [new file with mode: 0644]
extra/tools/copy/deploy.factor [new file with mode: 0644]