]> gitweb.factorcode.org Git - factor.git/commit
tools.grep: adding "grep" tool.
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 1 Apr 2015 21:41:41 +0000 (14:41 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 1 Apr 2015 21:41:41 +0000 (14:41 -0700)
commit197b944c7ec1832aef1a8a99ee8b01a9dce9e41f
tree1c444f1086eeff24f972b664b7caea62f40b349d
parentb8cbe9d64ddaf5849faaa79d42b325999da5d8b4
tools.grep: adding "grep" tool.
extra/tools/grep/deploy.factor [new file with mode: 0644]
extra/tools/grep/grep.factor [new file with mode: 0644]