diff options
| author | Eric Wong <e@80x24.org> | 2021-02-25 10:11:04 +0000 |
|---|---|---|
| committer | Eric Wong <e@80x24.org> | 2021-02-26 02:35:49 +0000 |
| commit | cf7c27cadd9ce7800beedc72513cf12fda77420f (patch) | |
| tree | 375a378c8f79b7535b9accf2e3037726429b3d5d /ci | |
| parent | 9d1d7c2b505454fba331666a951e0f7997500b3c (diff) | |
| download | public-inbox-cf7c27cadd9ce7800beedc72513cf12fda77420f.tar.gz | |
Since we recommend $IN_FORMAT:$LOCATION, this is hopefully not intrusive (not that this is released software, yet). This is to be consistent with "lei convert" usage. We'll keep "-f" only for output formats, since that is used for "lei q" and "lei convert" for outputs
Diffstat (limited to 'ci')
0 files changed, 0 insertions, 0 deletions