diff options
author | 2016-09-09 16:24:26 -0400 | |
---|---|---|
committer | 2016-09-09 16:24:26 -0400 | |
commit | 39cf838d85d378833dd3837ebfd1be881099eb74 (patch) | |
tree | d891d668f794dd416c569015934cd0030ef1f962 /.ghci | |
parent | f59c5df65b9dab6ff79e2414eea9df6f83ec258e (diff) |
copy, move, mirror: Support --json and --json-progress.
Diffstat (limited to '.ghci')
0 files changed, 0 insertions, 0 deletions