julia
Add support for editing directories
#13500
Merged

Add support for editing directories #13500

mbauman merged 4 commits into JuliaLang:master from omus:edit_dir
omus
omus
omus omus force pushed from 7c3ea9ea to 78858d00 10 years ago
mbauman
omus
omus
omus Refactored edit command execution
6f775a3f
omus Excluding line info when line is zero
4515dbbb
omus Rename edit argument from file to path
022e7747
omus Update edit documentation to mention directories
3d031fc3
omus omus force pushed from 9e4c163d to 3d031fc3 10 years ago
omus
stevengj
mbauman
mbauman mbauman merged 6ad25fca into master 10 years ago
omus omus deleted the edit_dir branch 10 years ago
swt30
swt30 reviewed on 2015-11-05

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
Milestone