]> gitweb.factorcode.org Git - factor.git/commit
tools.ps: enable use from command-line.
authorJohn Benediktsson <mrjbq7@gmail.com>
Thu, 9 Apr 2015 17:43:43 +0000 (10:43 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Thu, 9 Apr 2015 17:43:43 +0000 (10:43 -0700)
commitfaa7fde557b141076cb08caad50cddec5806b4b9
tree2c3df08a4c8962c5912135bd26c53c8ab603fa26
parent24101fbaebed3768575ccdd26936d7d67ba1c12c
tools.ps: enable use from command-line.
basis/tools/ps/ps.factor