julia
InteractiveUtils: define default editors during package load
#37839
Merged
Overview
Commits
1
Changes
View On GitHub

InteractiveUtils: define default editors during package load #37839

StefanKarpinski merged 1 commit into master from sk/always-define-default-editors
StefanKarpinski
StefanKarpinski InteractiveUtils: define default editors during package load
91ed7ccc
StefanKarpinski StefanKarpinski merged d57de75f into master 5 years ago
StefanKarpinski StefanKarpinski deleted the sk/always-define-default-editors branch 5 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum