Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Eliminate the offer to interactively add packages
I haven't seen this warning come up in a long time, so I don't think this code is active. It adds significant latency due to the time needed to infer the Pkg calls, so let's ditch it. xref #226.
- Loading branch information