Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Use Base.require workaround in IJuliaExt (#4749)
* Always use Requires for IJulia Addresses issue #4719. * Move non-IJulia-dependent code out of IJuliaExt.jl Reduces code loaded by @require while handling IJulia via Requires only. * Handle IJulia via extension if possible, but use Base.require * Formatting update ext/IJuliaExt.jl Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> --------- Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
- Loading branch information