diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2017-08-15 12:39:10 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2017-08-15 12:39:10 -0400 |
| commit | 802cecdf36f2575b62c42b105019ea70f3e8aef8 (patch) | |
| tree | 6f251c57d645bbcbd758632f87858eec06611920 /.ghci | |
| parent | cb91d1539e4f7d935c5106dbf54a7d58b5f297d6 (diff) | |
move, copy: Support --batch.
Diffstat (limited to '.ghci')
0 files changed, 0 insertions, 0 deletions