chiark / gitweb /
Merge pull request #544 from hendricksonrw/add_output_option
authordaid <daid303@gmail.com>
Fri, 30 Aug 2013 06:39:05 +0000 (23:39 -0700)
committerdaid <daid303@gmail.com>
Fri, 30 Aug 2013 06:39:05 +0000 (23:39 -0700)
Add simple output option to command line arguments


Trivial merge