| Date | Commit message (Collapse) | ||
|---|---|---|---|
| 2021-10-13 | lei: use standard warn() in more places | ||
| warn() is easier to augment with context information, and frankly unavoidable in the presence of 3rd-party libraries we don't control. | |||
| 2021-09-25 | lei forget-external: split into separate file | ||
| 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. | |||