julia
a6bf74a2
- Merge pull request #34107 from JuliaLang/sk/define_editor
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
6 years ago
Merge pull request #34107 from JuliaLang/sk/define_editor InteractiveUtils: make editors pluggable via `define_editor`
References
#34107 - InteractiveUtils: make editors pluggable via `define_editor`
Author
StefanKarpinski
Parents
57cb6e06
5098a46a
Loading
