diff options
| author | Ben Sima <ben@bsima.me> | 2019-11-23 17:16:48 -0800 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2019-11-23 17:16:48 -0800 |
| commit | 73e9789ee4b912063835eb8a40bee7b0f1162000 (patch) | |
| tree | 10787a0b0116f7fda10aac9392b99a2d1b383109 /.ghci | |
| parent | 68f18f21758200efefe36b8a98853660e6e8b940 (diff) | |
Add push-all command
Diffstat (limited to '.ghci')
0 files changed, 0 insertions, 0 deletions