diff options
author | Eric Wong <e@80x24.org> | 2021-09-25 08:49:43 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2021-09-25 08:53:50 +0000 |
commit | a16e4816546cc098dab392eb1af4667e4961a753 (patch) | |
tree | f2168db0f5677b88504bd45224ab490e0465e816 /ci | |
parent | 237fc1f6af4a364f7f3580efea6c5bf62a5cb0a9 (diff) | |
download | public-inbox-a16e4816546cc098dab392eb1af4667e4961a753.tar.gz |
This was written before we had auto-loading, and forget-external should be a rarely-used command that's not worth loading at startup. Do some golfing while we're in the area, too.
Diffstat (limited to 'ci')
0 files changed, 0 insertions, 0 deletions